Theorem AlgebraicTopology.DoldKan.QInfty_f_comp_PInfty_f

Modification history