Theorem WithTop.wellFounded_lt

Modification history

2023-11-03 10:44
Mathlib/Order/WithBot.lean
feat: Shorthands for well-foundedness of `<` and `>` (#7865) …
Deleted WithTop.wellFounded_ltView on Github →
2023-06-27 02:29
Mathlib/Order/WithBot.lean
feat: generalize `WithBot.wellFounded_lt` (#5425)
Modified WithTop.wellFounded_ltView on Github →
2022-11-30 17:19
Mathlib/Order/WithBot.lean
chore: fix naming conventions in Order.WithBot (#801)
Added WithTop.wellFounded_ltView on Github →