Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.degree_list_prod

Modification history

2022-04-25 00:39

src/algebra/polynomial/big_operators.lean

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

Added polynomial.degree_list_prod View on Github →