mathlib
11487179 - chore(set_theory/ordinal_arithmetic): `well_founded` → `wf` (#12615)

Commit

3 years ago

chore(set_theory/ordinal_arithmetic): `well_founded` → `wf` (#12615)

Author

vihdzp

vihdzp

Parents

Loading