Mathlib v3 is deprecated. Go to Mathlib v4

Def well_founded_lt.to_has_well_founded

Modification history

2022-07-27 17:03
src/order/rel_classes.lean
feat(order/well_founded): typeclasses for well-founded `<` and `>` (#15399) …
Added well_founded_lt.to_has_well_foundedView on Github →