Theorem partialSups_apply

Modification history