Theorem AlgebraicTopology.DoldKan.Compatibility.equivalenceUnitIso_eq

Modification history