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