Theorem Polynomial.support_add

Modification history