Theorem AlgebraicTopology.DoldKan.P_idem

Modification history