Theorem Polynomial.toFinsupp_monomial

Modification history