Theorem TopCat.Homotopy.congr_homologyMap_singularChainComplexFunctor

Modification history

2026-03-30 09:56
Mathlib/AlgebraicTopology/SingularHomology/HomotopyInvarianceTopCat.lean
feat(AlgebraicTopology): homotopy invariance of singular homology (#37091) …
Added TopCat.Homotopy.congr_homologyMap_singularChainComplexFunctorView on Github →