Theorem SSet.stdSimplex.objEquiv_symm_apply

Modification history