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

Modification history