Theorem Polynomial.expand_one

Modification history