Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2022-04-13 18:43
76c969b7
View on Github →
chore(algebra/polynomial/big_operators): drop some nontrivial assumptions (
#13428
)
Estimated changes
Modified
src/algebra/polynomial/big_operators.lean
modified
theorem
polynomial.nat_degree_multiset_prod
modified
theorem
polynomial.nat_degree_multiset_prod_of_monic
modified
theorem
polynomial.nat_degree_prod
modified
theorem
polynomial.nat_degree_prod_of_monic