Theorem TopPair.Homotopy.symm_bijective

Modification history

2026-05-01 13:07
Mathlib/Topology/Category/TopPair.lean
feat: add the category of topological pairs (#36621) …
Added TopPair.Homotopy.symm_bijectiveView on Github →