Theorem Polynomial.Monic.irreducible_iff_natDegree

Modification history