Theorem Polynomial.of_irreducible_expand

Modification history