Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-02-15 20:01
06dbc0db
View on Github →
chore: golf Polynomial.Degree.Definitions (
#10526
)
Estimated changes
Modified
Mathlib/Data/Polynomial/Degree/Definitions.lean
modified
theorem
Polynomial.le_degree_of_ne_zero