Commit 2020-09-10 13:02 19b9ae6e
View on Github →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