top | item 44270652 (no title) ncfavier | 8 months ago Note that this proof doesn't require the axiom of choice, only excluded middle. discuss order hn newest No comments yet.
No comments yet.