Theorem Int.gcd_eq_gcd_ab

Modification history