Theorem AlgebraicTopology.DoldKan.decomposition_Q

Modification history