Theorem Polynomial.mem_coeffs_iff

Modification history