Def AlgebraicTopology.DoldKan.Compatibility.equivalence₀

Modification history