Theorem PartialHomeomorph.const_apply

Modification history

2025-10-02 09:10

Mathlib/Topology/OpenPartialHomeomorph.lean

chore: rename PartialHomeomorph to OpenPartialHomeomorph (#29113) …

Deleted PartialHomeomorph.const_apply View on Github →

2025-02-24 09:31

Mathlib/Topology/PartialHomeomorph.lean

feat: discrete topological spaces are 0-manifolds (#22105) …

Added PartialHomeomorph.const_apply View on Github →