Commit 2020-08-22 14:33 6a852789
View on Github →feat(data/polynomial/eval): eval_finset.prod (#3903) Evaluating commutes with finset.prod; useful in a variety of situations in numerical analysis.
feat(data/polynomial/eval): eval_finset.prod (#3903) Evaluating commutes with finset.prod; useful in a variety of situations in numerical analysis.