Theorem AlgebraicTopology.DoldKan.c_mk

Modification history