Theorem AlgebraicTopology.DoldKan.Isδ₀.eq_δ₀

Modification history