Theorem gcd_neg

Modification history