feat: port Data.Polynomial.Coeff (#2624)

leanprover-community · Mar 8, 2023 · d0620ef · d0620ef
1 parent 31ab272
commit d0620ef
Show file tree

Hide file tree

Showing 2 changed files with 415 additions and 0 deletions.
diff --git a/Mathlib.lean b/Mathlib.lean
@@ -706,6 +706,7 @@ import Mathlib.Data.Pi.Algebra
 import Mathlib.Data.Pi.Interval
 import Mathlib.Data.Pi.Lex
 import Mathlib.Data.Polynomial.Basic
+import Mathlib.Data.Polynomial.Coeff
 import Mathlib.Data.Polynomial.Induction
 import Mathlib.Data.Polynomial.Monomial
 import Mathlib.Data.Prod.Basic