Documentation

Mathlib.Topology.PartialHomeomorph