Theorem MvPolynomial.schwartz_zippel_sup_sum

Modification history

2024-12-20 13:13
Mathlib/Algebra/MvPolynomial/SchwartzZippel.lean
feat(Algebra/MvPolynomial): Schwartz-Zippel lemma (#5297) …
Added MvPolynomial.schwartz_zippel_sup_sumView on Github →