Theorem AlgebraicTopology.DoldKan.P_is_eventually_constant

Modification history