Theorem IsWellOrderLimitElement.wellOrderSucc_lt

Modification history

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