Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-08-20 19:29
e75cfd18
View on Github →
chore(Data/Polynomial/Basic): golf & make some variables implicit (
#6270
)
Estimated changes
Modified
Mathlib/Data/Polynomial/Basic.lean
modified
theorem
Polynomial.sum_eq_of_subset
modified
theorem
Polynomial.sum_monomial_index
Modified
Mathlib/Data/Polynomial/Coeff.lean
Modified
Mathlib/Data/Polynomial/Mirror.lean