Theorem AlgebraicTopology.DoldKan.homotopyPToId_eventually_constant

Modification history