Theorem Topology.IsClosedEmbedding.uliftMap

Modification history

2026-02-09 14:35
Mathlib/Topology/Homeomorph/Lemmas.lean
feat(Topology/Category): the standard Grothendieck topology on `TopCat` (#34979) …
Added Topology.IsClosedEmbedding.uliftMapView on Github →