Theorem stdSimplex_fin_two

Modification history