symm_image_target_eq_source — Mathlib · SciLib

∫ Утверждение Mathlib

symm_image_target_eq_source

Mathlib.Topology.OpenPartialHomeomorph

URI: https://scilib.ai/kg/mathlib#OpenPartialHomeomorph.symm_image_target_eq_source

← MathLib Explorer