Theorem Int.gcd_neg_left

Modification history