Theorem Polynomial.funext

Modification history