Theorem sign_neg

Modification history