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