image_source_eq_target — Mathlib · SciLib

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

image_source_eq_target

Mathlib.Topology.OpenPartialHomeomorph

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

← MathLib Explorer