Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2020-10-26 21:30
c76c3c5c
View on Github →
feat(degree/basic.lean): degree_lt_iff_coeff_zero (
#4792
) Changes to degree/basic.lean from
#4786
Estimated changes
Modified
src/data/polynomial/degree/basic.lean
added
theorem
polynomial.degree_lt_iff_coeff_zero