Theorem Int.gcd_eq_right

Modification history