Theorem Polynomial.toFinsupp_C_mul_X

Modification history