Theorem Polynomial.coe_basisMonomials

Modification history