Mathlib Changelog
v4
Changelog
About
Github
Theorem
MvPolynomial.schwartz_zippel_totalDegree
Modification history
2024-12-20 13:13
Mathlib/Algebra/MvPolynomial/SchwartzZippel.lean
feat(Algebra/MvPolynomial): Schwartz-Zippel lemma (#5297) …
Added
MvPolynomial.schwartz_zippel_totalDegree
View on Github →