Theorem AlgebraicTopology.DoldKan.Compatibility.equivalenceCounitIso_eq

Modification history