Def AlgebraicTopology.DoldKan.Γ₀'CompNondegComplexFunctor

Modification history

2023-04-22 16:39

Mathlib/AlgebraicTopology/DoldKan/GammaCompN.lean

feat: port AlgebraicTopology.DoldKan.GammaCompN (#3568)

Added AlgebraicTopology.DoldKan.Γ₀'CompNondegComplexFunctor View on Github →