Theorem segment_single_subset_stdSimplex

Modification history