Theorem Polynomial.coeff_one_reverse

Modification history