Theorem Ideal.isCoprime_iff_sup_eq

Modification history