Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-10-15 15:01 85d4b574

View on Github →

feat(data/polynomial/eval): bit0_comp, bit1_comp (#4617)

Estimated changes

Modified src/data/polynomial/eval.lean

added theorem polynomial.bit0_comp

added theorem polynomial.bit1_comp