Theorem stdSimplex_of_isEmpty_index

Modification history