Theorem Polynomial.expand_contract

Modification history