Commit 2017-12-13 04:31 a2437102
View on Github →feat(data/ordinal): well ordering theorem Note to self: this proof seems more cumbersome than it should be. I will see if the proof is easier if we bypass Zorn's lemma.
feat(data/ordinal): well ordering theorem Note to self: this proof seems more cumbersome than it should be. I will see if the proof is easier if we bypass Zorn's lemma.