∫ Утверждение Mathlib
t1Space_iff_specializes_imp_eq
Mathlib.Topology.Separation.Basic
URI: https://scilib.ai/kg/mathlib#t1Space_iff_specializes_imp_eq
∫ Утверждение Mathlib
Mathlib.Topology.Separation.Basic
URI: https://scilib.ai/kg/mathlib#t1Space_iff_specializes_imp_eq