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