Def AlgebraicTopology.DoldKan.Γ₀.Obj.Termwise.mapMono

Modification history