Discussion between dfeuer and Forever Mozart
Imported from a comment discussion on https://mathoverflow.net/questions/133446/is-it-possible-to-prove-in-zf-that-a-non-trivial-compact-connected-hausdorff-spa/319014#319014
| first message | 2018-12-19 |
| last message | 2243 days ago |
view transcript
2