Theorem Polynomial.irreducible_comp

Modification history