Theorem AlgebraicTopology.DoldKan.hσ'_eq_zero

Modification history