Theorem AlgebraicTopology.DoldKan.Γ₀.Obj.map_epi_on_summand_id

Modification history