Theorem Polynomial.C_bit1

Modification history

2024-06-14 08:25

Mathlib/Algebra/Polynomial/Basic.lean

chore(*): drop some `bit0`/`bit1` lemmata (#13822)

Deleted Polynomial.C_bit1 View on Github →

2023-03-08 07:29

Mathlib/Data/Polynomial/Basic.lean

feat: port Data.Polynomial.Basic (#2620)

Added Polynomial.C_bit1 View on Github →