Theorem AlgebraicTopology.DoldKan.Compatibility.equivalence₁UnitIso_eq

Modification history