Theorem AlgebraicTopology.DoldKan.Γ₀.Obj.map_on_summand

Modification history