Theorem AlgebraicTopology.DoldKan.Γ₀.Obj.Termwise.mapMono_δ₀'

Modification history