mathlib
b8fb8e5b - feat(set_theory/ordinal_arithmetic): `le_one_iff` (#11847)

Commit

3 years ago

feat(set_theory/ordinal_arithmetic): `le_one_iff` (#11847)

Author

vihdzp

vihdzp

Parents

Loading