Theorem partialSups_disjointed

Modification history