Theorem AlgebraicTopology.DoldKan.hσ'_eq

Modification history