User contributions for Mathplants
Jump to navigation
Jump to search
23 November 2016
- 18:3518:35, 23 November 2016 diff hist +4 m Axiom of Choice implies Zorn's Lemma/Proof 1 The 'preceq' notation was used above, but then bar s was used, and it was undefined. Also, a subseteq should have been subsetneq, otherwise the emptyset is an easy counterexample, and the rest of the proof only relies on neq.