Theorem MvPolynomial.schwartz_zippel_sum_degreeOf

Modification history

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