Def AlgebraicTopology.DoldKan.Compatibility.equivalence₂

Modification history