Commit 2023-10-09 20:03 6ddda3a8

View on Github →

feat: simp lemmas for polynomial coefficients (#7557) Code by Ruben-VandeVelde

Estimated changes

Modified Mathlib/Data/Nat/Cast/Defs.lean

Modified Mathlib/Data/Polynomial/Basic.lean

added theorem Polynomial.coeff_ofNat_succ

added theorem Polynomial.coeff_ofNat_zero