Theorem partialSups_monotone

Modification history