| Subject | From | # of followups |
|---|---|---|
| [mizar] Opinion to MML situation | Yatsuka Nakaura | 1 |
| [mizar] Nullstellensatz | Piotr Rudnicki | 1 |
| Re: [mizar] Nullstellensatz | Andrzej Trybulec | 0 |
| Re: [mizar] Opinion to MML situation | Andrzej Trybulec | 1 |
| Re: [mizar] Opinion to MML situation | Piotr Rudnicki | 1 |
| Re: [mizar] Opinion to MML situation | Adam Grabowski | 0 |