Theorem Left.sign_neg

Modification history