Theorem min_eq_half_add_sub_abs_sub

Modification history