mathlib
8ba0ddef
- chore(data/polynomial/monic): speedup next_coeff_mul (#4920)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
5 years ago
chore(data/polynomial/monic): speedup next_coeff_mul (#4920) Co-authored-by: Bryan Gin-ge Chen <bryangingechen@gmail.com>
Author
jcommelin
Parents
e0cf0d37
Loading