Theorem Ideal.inf_eq_mul_of_coprime

Modification history