mathlib3
7c916a69 - feat(set_theory/ordinal/arithmetic): `pred 0 = 0` (#15533)

Commit

3 years ago

feat(set_theory/ordinal/arithmetic): `pred 0 = 0` (#15533)

Author

vihdzp

vihdzp

Parents

Loading