Theorem Polynomial.toFinsupp_X_pow

Modification history