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

Modification history