Theorem absorbs_neg_neg

Modification history