Theorem AlgebraicTopology.DoldKan.HigherFacesVanish.on_Γ₀_summand_id

Modification history