mathlib
17d24243 - feat(polynomial/cyclotomic): `eval_apply` (#13586)

Commit

3 years ago

feat(polynomial/cyclotomic): `eval_apply` (#13586) Co-authored-by: Alex J Best <alex.j.best@gmail.com>

Author

ericrbg

Parents