Theorem abs_eq_neg_self

Modification history