∫ Утверждение Mathlib
Icc_inter_Icc_eq_singleton
Mathlib.Order.Interval.Set.Basic
URI: https://scilib.ai/kg/mathlib#Set.Icc_inter_Icc_eq_singleton
∫ Утверждение Mathlib
Mathlib.Order.Interval.Set.Basic
URI: https://scilib.ai/kg/mathlib#Set.Icc_inter_Icc_eq_singleton