Theorem SSet.stdSimplex.objEquiv_id

Modification history