Theorem wellFounded_gt

Modification history

2025-12-02 14:25

Mathlib/Order/RelClasses.lean

chore(Order/RelClasses): use `@[to_dual]` (#32090) …

Deleted wellFounded_gt View on Github →

2023-11-03 10:44

Mathlib/Order/RelClasses.lean

feat: Shorthands for well-foundedness of `<` and `>` (#7865) …

Added wellFounded_gt View on Github →