Mathlib v3 is deprecated. Go to Mathlib v4

Theorem well_founded.self_le_of_strict_mono

Modification history

2022-08-07 23:17
src/order/well_founded.lean
chore(order/well_founded): golf + rename variables (#15730) …
Modified well_founded.self_le_of_strict_monoView on Github →
2022-02-11 01:36
src/order/well_founded.lean
refactor(order/well_founded, set_theory/ordinal_arithmetic): Fix namespace in `self_le_of_strict_mono` (#11871) …
Added well_founded.self_le_of_strict_monoView on Github →