Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.degree_mul_C

Modification history

2022-04-09 17:28

src/data/polynomial/degree/lemmas.lean

feat(data/polynomial/degree/lemmas): add some lemmas and rename some lemmas (#13235) …

Added polynomial.degree_mul_C View on Github →