Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-12-03 04:36 e574b1a4

View on Github →

feat(data/polynomial/basic): add to_finsupp_C_mul_X_pow lemmas (#17794)

Estimated changes

Modified src/data/polynomial/basic.lean

modified theorem polynomial.to_finsupp_C

added theorem polynomial.to_finsupp_C_mul_X

added theorem polynomial.to_finsupp_C_mul_X_pow

added theorem polynomial.to_finsupp_X

added theorem polynomial.to_finsupp_X_pow