Def AlgebraicTopology.DoldKan.Compatibility.equivalence

Modification history