Theorem Polynomial.not_isField

Modification history