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