Theorem Polynomial.mem_span_C_coeff

Modification history

2024-11-13 23:44
Mathlib/Algebra/Polynomial/Induction.lean
chore: merge Algebra.Polynomial.Induction into RingTheory.Polynomial.Basic (#18996) …
Deleted Polynomial.mem_span_C_coeffView on Github →
2023-03-08 08:35
Mathlib/Data/Polynomial/Induction.lean
feat: Port Data.Polynomial.Induction (#2628) …
Added Polynomial.mem_span_C_coeffView on Github →