Theorem Real.sign_neg

Modification history