ordinal.lean

Commit

3 years ago

Update src/set_theory/cardinal/ordinal.lean Saving space as suggested Co-authored-by: sgouezel <sebastien.gouezel@univ-rennes1.fr>

Author

sterraf

Parents