Theorem Polynomial.coeff_mem_coeffs

Modification history