Theorem Ideal.mul_sup_eq_of_coprime_right

Modification history