Theorem Order.IsSuccLimit.le_succ_iff

Modification history

2024-12-11 14:33
Mathlib/Order/SuccPred/Limit.lean
feat(Order/SuccPred/Limit): extra lemmas (#19801) …
Added Order.IsSuccLimit.le_succ_iffView on Github →