Theorem AlgebraicTopology.DoldKan.Q_succ

Modification history