mathlib
ed453c72
- chore(data/polynomial): remove unused argument (#2626)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
6 years ago
chore(data/polynomial): remove unused argument (#2626)
References
#2700 - Fix merge conflict
Author
ChrisHughes24
Parents
bdce1956
Loading