Theorem neg_gcd

Modification history