isImage_source_target — Mathlib · SciLib

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

isImage_source_target

Mathlib.Topology.OpenPartialHomeomorph

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

← MathLib Explorer