Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.coeff_C_mul_X_pow

Modification history

2022-11-25 11:49

src/data/polynomial/coeff.lean

chore(*): rename C_mul_X to C_mul_X_pow for polynomials (#17706)

Modified polynomial.coeff_C_mul_X_pow View on Github →

2022-02-05 19:40

src/data/polynomial/coeff.lean

feat(algebra/cubic_discriminant): basics of cubic polynomials and their discriminants (#11483)

Added polynomial.coeff_C_mul_X_pow View on Github →