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