mathlib3

fe1c78af - feat(data/polynomial/algebra_map): remove some lemmas about `aeval`, add `protected` on `polynomial.map_list_prod` (#13294)

feat(data/polynomial/algebra_map): remove some lemmas about `aeval`, add `protected` on `polynomial.map_list_prod` (#13294) Remove `aeval_sum` which is a duplicate of `map_sum`. Remove `aeval_prod` which is a duplicate of `map_prod`.