reverse): lemmas about evaluating reversed polynomials (#11705)

Commit

3 years ago

feat(data/polynomial/reverse): lemmas about evaluating reversed polynomials (#11705)

Author

Chris Hughes

Parents