Theorem Ideal.eq_prime_pow_mul_coprime

Modification history