Theorem WithAbs.equiv_symm_neg

Modification history