Def AlgebraicTopology.DoldKan.Compatibility.equivalenceCounitIso

Modification history