Def AlgebraicTopology.DoldKan.Γ₀.Obj.summand

Modification history