mathlib
0d37fd67
- feat(data/polynomial/algebra_map): aeval_tower (#9250)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
4 years ago
feat(data/polynomial/algebra_map): aeval_tower (#9250) Co-authored-by: Chris Hughes <33847686+ChrisHughes24@users.noreply.github.com>
Author
ChrisHughes24
Parents
f181d81f
Loading