Theorem WithAbs.equiv_neg

Modification history