Theorem Topology.IsEmbedding.toHomeomorph_symm_apply

Modification history

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