Theorem max_zero_add_max_neg_zero_eq_abs_self

Modification history