mathlib

4f9543bb - feat(data/polynomial): lemma about aeval on functions, and on subalgebras (#7252)

feat(data/polynomial): lemma about aeval on functions, and on subalgebras (#7252) Co-authored-by: Scott Morrison <scott.morrison@gmail.com> Co-authored-by: Eric Wieser <wieser.eric@gmail.com>