Theorem SSet.stdSimplex.map_apply

Modification history