Theorem Order.le_succ_and_le_iff

Modification history

2025-12-05 23:23

Mathlib/Order/SuccPred/Basic.lean

chore(Order/SuccPred/Basic): use `to_dual` (#32447) …

Added Order.le_succ_and_le_iff View on Github →