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