Theorem AlgebraicTopology.DoldKan.Compatibility.equivalence₂UnitIso_eq

Modification history