Theorem AlgebraicTopology.DoldKan.σ_comp_PInfty

Modification history

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