Theorem WithBot.wellFounded_gt

Modification history

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