Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.aeval_bit1

Modification history

2020-09-24 17:38

src/data/polynomial/algebra_map.lean

feat(ring_theory/polynomial): decomposing the kernel of an endomorphism polynomial (#4174)

Added polynomial.aeval_bit1 View on Github →