Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-06 11:10 c5636921

View on Github →

feat(data/polynomial/eval): leval, eval as linear map (#8999)

Estimated changes

added def polynomial.leval