Theorem Order.IsPredLimit.le_iff_forall_le

Modification history

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