Theorem AlgebraicTopology.DoldKan.Hσ_eq_zero

Modification history