Theorem Polynomial.mem_nonZeroDivisors_of_trailingCoeff

Modification history