Def AlgebraicTopology.DoldKan.Compatibility.equivalence₁

Modification history