Theorem sup_eq_of_max

Modification history