Theorem AlgebraicTopology.DoldKan.Compatibility.equivalence₁_inverse

Modification history