Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-09-13 13:37 d268bb7a

View on Github →

feat(data/polynomial/eval): add polynomial.map_bit0/1 (#16481)

Estimated changes

deleted theorem polynomial.map_smul