Theorem Polynomial.support_X_empty

Modification history