Theorem AlgebraicTopology.DoldKan.PInfty_f_idem

Modification history