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

Commit

4 years ago

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

Author

jcommelin

jcommelin

Parents

Loading