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