mathlib
6a852789
- feat(data/polynomial/eval): eval_finset.prod (#3903)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
5 years ago
feat(data/polynomial/eval): eval_finset.prod (#3903) Evaluating commutes with finset.prod; useful in a variety of situations in numerical analysis.
References
#4925 - Make prime-avoidance branch build
Author
stanescuUW
Parents
aca785a7
Loading