Theorem Polynomial.support_erase

Modification history