Theorem AlgebraicTopology.DoldKan.PInfty_idem

Modification history