Kuratowski's theorem is a great example of a theorem of the form "the only obstructions are the obvious ones," which are always fun to learn about.
Qiaochu Yuan
- 118.2k
- 40
- 447
- 741