Theorem self_le_wellOrderSucc

Modification history

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