Theorem wellOrderSucc_le

Modification history

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