ordinal.lean

Commit

3 years ago

Update src/set_theory/cardinal/ordinal.lean Golfed proof Co-authored-by: Violeta Hernández <vi.hdz.p@gmail.com>

Author

sterraf

Parents