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






leanprover-community/mathlib,leanprover-community/mathlib