Theorem AlgebraicTopology.DoldKan.Q_is_eventually_constant

Modification history