∫ Утверждение Mathlib
Mathlib.Order.SuccPred.Basic
URI: https://scilib.ai/kg/mathlib#Order.pred_lt_iff_eq_or_lt
← MathLib Explorer