Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-04-25 00:39 54d1ddd2

View on Github →

feat(algebra/polynomial/big_operators): add a lemma, reduce assumptions, golf (#13264)

Estimated changes

Modified src/algebra/polynomial/big_operators.lean

added theorem polynomial.degree_list_prod

modified theorem polynomial.nat_degree_multiset_prod

Modified src/data/polynomial/degree/definitions.lean