Theorem Polynomial.irreducible_of_monic

Modification history