Theorem Polynomial.forall_eq_iff_forall_eq

Modification history