Theorem Polynomial.exists_iff_exists_finsupp

Modification history