Theorem AlgebraicTopology.DoldKan.Γ₀.Obj.mapMono_on_summand_id

Modification history