Theorem Ideal.IsPrime.mem_or_mem_of_mul_eq_zero

Modification history