Theorem Polynomial.support_update_zero

Modification history