symm_image_target_inter_eq — Mathlib · SciLib

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

symm_image_target_inter_eq

Mathlib.Topology.OpenPartialHomeomorph

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

← MathLib Explorer