Theorem Polynomial.X_mem_nonzeroDivisors

Modification history