∫ Утверждение Mathlib
Ico_succ_succ_eq_Ioc_of_not_isMax
Mathlib.Order.Interval.Finset.SuccPred
URI: https://scilib.ai/kg/mathlib#Finset.Ico_succ_succ_eq_Ioc_of_not_isMax
∫ Утверждение Mathlib
Mathlib.Order.Interval.Finset.SuccPred
URI: https://scilib.ai/kg/mathlib#Finset.Ico_succ_succ_eq_Ioc_of_not_isMax