Theorem Polynomial.Monic.irreducible_iff_degree_lt

Modification history