Theorem AlgebraicTopology.DoldKan.N₂Γ₂_compatible_with_N₁Γ₀

Modification history

2023-04-22 16:39
Mathlib/AlgebraicTopology/DoldKan/GammaCompN.lean
feat: port AlgebraicTopology.DoldKan.GammaCompN (#3568)
Added AlgebraicTopology.DoldKan.N₂Γ₂_compatible_with_N₁Γ₀View on Github →