Theorem AlgebraicTopology.DoldKan.PInfty_f_comp_QInfty_f

Modification history