Theorem Polynomial.coeff_reflect

Modification history