Theorem Polynomial.coeff_map

Modification history