Theorem TopCat.Homotopy.ι₁_h

Modification history

2026-05-01 13:07
Mathlib/Topology/Homotopy/TopCat/Basic.lean
feat: add the category of topological pairs (#36621) …
Modified TopCat.Homotopy.ι₁_hView on Github →
2026-03-30 09:56
Mathlib/Topology/Homotopy/TopCat/Basic.lean
feat(AlgebraicTopology): homotopy invariance of singular homology (#37091) …
Added TopCat.Homotopy.ι₁_hView on Github →