Theorem Polynomial.forall_iff_forall_finsupp

Modification history