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