mathlib
15b7e536 - refactor(set_theory/cardinal/*): `cardinal.succ` → `order.succ` (#14273)

Commit

3 years ago

refactor(set_theory/cardinal/*): `cardinal.succ` → `order.succ` (#14273)

Author

vihdzp

vihdzp

Parents

Loading