Theorem Int.gcd_neg_right

Modification history