Theorem partialSups_apply_mono

Modification history