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