Theorem AlgebraicTopology.DoldKan.Q_f_0_eq

Modification history