Theorem Polynomial.erase_same

Modification history