Theorem Polynomial.cyclotomic_irreducible_of_irreducible_pow

Modification history