Theorem stdSimplex_unique

Modification history