Theorem ite_eq_mem_stdSimplex

Modification history