Theorem Polynomial.exists_C_coeff_not_mem

Modification history

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