Ioo_succ_right_eq_Ioc_of_not_isMax — Mathlib · SciLib

∫ Утверждение Mathlib

Ioo_succ_right_eq_Ioc_of_not_isMax

Mathlib.Order.Interval.Finset.SuccPred

URI: https://scilib.ai/kg/mathlib#Finset.Ioo_succ_right_eq_Ioc_of_not_isMax

← MathLib Explorer