Commit 2022-04-12 03:21 fe1c78af
View on Github →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.