Theorem le_of_lt_wellOrderSucc

Modification history

2024-10-25 18:52
Mathlib/Order/IsWellOrderLimitElement.lean
refactor: delete IsWellOrderLimitElement.lean (#15904) …
Deleted le_of_lt_wellOrderSuccView on Github →
2024-04-16 22:37
Mathlib/Order/IsWellOrderLimitElement.lean
feat(Order): limit elements in well-ordered types (#11584) …
Added le_of_lt_wellOrderSuccView on Github →