Theorem Polynomial.toFinsupp_pow

Modification history