mathlib3

7d8a1e07 - feat(data/polynomial/eval): random `eval` lemmas (#10470)

feat(data/polynomial/eval): random `eval` lemmas (#10470) note that the `geom_sum` import only adds the `geom_sum` file itself; all other files were imported already