mathlib3
7fcd7954
- doc-module
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
4 years ago
doc-module
References
#13084 - feat(ring_theory/polynomial/special_coefficients): new file for evaluations of special coefficients of polynomials
#13200 - feat(ring_theory/polynomial/special_coefficients): previous-to-last-coefficient of a product of polynomials
Author
adomani
Parents
6a0779b7
Loading