Theorem Ideal.isPrime_of_irreducible_absNorm

Modification history