Theorem Ideal.isCoprime_iff_gcd

Modification history