Theorem Polynomial.Monic.isUnit_iff

Modification history