mathlib3

a8af8e88 - 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 <firsching@google.com>