Theorem Ideal.irreducible_of_irreducible_absNorm

Modification history