Theorem sup_eq_half_smul_add_add_abs_sub

Modification history