Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-02-19 07:48
69eaf3b0
View on Github →
feat(Data/Polynomial/RingDivision): eq_zero_of_forall_eval_zero_of_natDegree_lt_card (
#10656
)
Estimated changes
Modified
Mathlib/Data/Polynomial/RingDivision.lean
added
theorem
Polynomial.eq_zero_of_forall_eval_zero_of_natDegree_lt_card