Theorem Polynomial.toLaurent_C_mul_eq

Modification history