Hacker News new | ask | show | jobs
by ncfavier 370 days ago
Note that this proof doesn't require the axiom of choice, only excluded middle.