feat(polynomial/algebra_map): aeval_algebra_map_apply (#6649)
feat(polynomial/algebra_map): aeval_algebra_map_apply (#6649)

Co-authored-by: Eric Wieser <wieser.eric@gmail.com>



Co-authored-by: Moritz Firsching <c8f1a6aabac1f1b3e5245c40ceca966f954711d2@google.com>

leanprover-community/mathlib,leanprover-community/mathlib