Theorem single_mem_stdSimplex

Modification history