Theorem Polynomial.update_zero_eq_erase

Modification history