Theorem partialSups_eq_sup_range

Modification history