eval): change eval_smul lemmas to use * instead of 2nd smul (#5991)

Commit

4 years ago

refactor(data/polynomial/eval): change eval_smul lemmas to use * instead of 2nd smul (#5991)

Author

BoltonBailey

Parents