mathlib
6d245b26 - feat(set_theory/ordinal/basic): order type of naturals is `ω` (#15178)

Commit

3 years ago

feat(set_theory/ordinal/basic): order type of naturals is `ω` (#15178)

Author

vihdzp

vihdzp

Parents

Loading