Theorem AlgebraicTopology.DoldKan.σ_comp_P_eq_zero

Modification history

2023-04-21 08:03
Mathlib/AlgebraicTopology/DoldKan/Degeneracies.lean
feat: port AlgebraicTopology.DoldKan.Degeneracies (#3561)
Added AlgebraicTopology.DoldKan.σ_comp_P_eq_zeroView on Github →