Theorem AlgebraicTopology.DoldKan.Γ₀.Obj.map_on_summand₀

Modification history