Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.coeff_monomial

Modification history

2020-07-19 05:43

src/data/polynomial/basic.lean

refactor(data/polynomial): remove has_coe_to_fun, and @[reducible] on monomial (#3420) …

Added polynomial.coeff_monomial View on Github →