Theorem span_le_of_C_coeff_mem

Modification history

2024-11-13 23:44
Mathlib/RingTheory/Polynomial/Basic.lean
chore: merge Algebra.Polynomial.Induction into RingTheory.Polynomial.Basic (#18996) …
Added span_le_of_C_coeff_memView on Github →