Def AlgebraicTopology.DoldKan.Compatibility.equivalence₁UnitIso

Modification history