Subject
| From
| # of followups
|
|---|
| Re: A question
| Grzegorz Bancerek
| 1
|
| RE: A question
| Chen, Jing Chao (Jing Chao
| 1
|
| Re: A question
| Piotr Rudnicki
| 1
|
| Re: A question
| Piotr Rudnicki
| 0
|
| Re: A question
| Antoni Urban
| 1
|
| Re: A question
| Josef Urban
| 1
|
| Re: A question
| Josef Urban
| 1
|
| Re: A question
| Antoni Urban
| 0
|
| A question about rng being non empty
| Piotr Rudnicki
| 2
|
| Re: A question about rng being non empty
| Artur Kornilowicz
| 1
|
| Re: A question about rng being non empty
| Grzegorz Bancerek
| 0
|
| Re: A question about rng being non empty
| Piotr Rudnicki
| 2
|
| Re: A question about rng being non empty
| Artur Kornilowicz
| 0
|
| Re: A question about rng being non empty
| Andrzej Trybulec
| 0
|
| If A=B & (A contains C), why mizar doesn't infer (B contains C)
| Chen, Jing Chao (Jing Chao
| 2
|
| Re: If A=B & (A contains C), why mizar doesn't infer (B contains C)
| Piotr Rudnicki
| 0
|
| RE: If A=B & (A contains C), why mizar doesn't infer (B contains C)
| Chen, Jing Chao (Jing Chao
| 0
|
| RE: If A=B & (A contains C), why mizar doesn't infer (B contains C)
| Chen, Jing Chao (Jing Chao
| 1
|
| RE: If A=B & (A contains C), why mizar doesn't infer (B contains C)
| bancerek
| 0
|
| Re: If A=B & (A contains C), why mizar doesn't infer (B contains C)
| Josef Urban
| 1
|
| Re: If A=B & (A contains C), why mizar doesn't infer (B contains C)
| Andrzej Trybulec
| 0
|
| Re: If A=B & (A contains C), why mizar doesn't infer (B contains C)
| Andrzej Trybulec
| 1
|
| Re: If A=B & (A contains C), why mizar doesn't infer (B contains C)
| Josef Urban
| 2
|
| Re: If A=B & (A contains C), why mizar doesn't infer (B contains C)
| Andrzej Trybulec
| 2
|
| Re: If A=B & (A contains C), why mizar doesn't infer (B contains C)
| Josef Urban
| 0
|
| Re: If A=B & (A contains C), why mizar doesn't infer (B contains C)
| Piotr Rudnicki
| 1
|
| Re: If A=B & (A contains C), why mizar doesn't infer (B contains C)
| Piotr Rudnicki
| 1
|
| Re: If A=B & (A contains C), why mizar doesn't infer (B contains C)
| Andrzej Trybulec
| 0
|
| [Fwd: FOM: AAL 2001]
| Andrzej Trybulec
| 0
|
| Re: If A=B & (A contains C), why mizar doesn't infer (B contains C)
| Josef Urban
| 0
|
| reliters
| Artur Kornilowicz
| 0
|