Theorem disjoint_partialSups_right

Modification history