Theorem Polynomial.toLaurent_C_mul_T

Modification history