Theorem mem_span_C_coeff

Modification history

2026-11-02 08:15
Mathlib/RingTheory/Polynomial/Basic.lean
refactor(Algebra/Polynomial): make into an `abbrev` of `AddMonoidAlgebra` (#41981) …
Modified mem_span_C_coeffView on Github →
2024-11-13 23:44
Mathlib/RingTheory/Polynomial/Basic.lean
chore: merge Algebra.Polynomial.Induction into RingTheory.Polynomial.Basic (#18996) …
Added mem_span_C_coeffView on Github →