Theorem partialSups_iff_forall

Modification history