Theorem neg_gcd'

Modification history