Theorem Polynomial.of_irreducible_expand_pow

Modification history