Theorem neg_one_sq

Modification history