mathlib

19b9ae6e - feat(data/mv_polynomial): a few facts about `constant_coeff` and `aeval` (#4085)

feat(data/mv_polynomial): a few facts about `constant_coeff` and `aeval` (#4085) A few additional facts about `constant_coeff_map` and `aeval` from the witt vector branch. Co-authored by: Johan Commelin <johan@commelin.net> Co-authored-by: Rob Lewis <rob.y.lewis@gmail.com>