mathlib3
61eae7fc
- lint, upgrade to linear
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
lint, upgrade to linear
References
cubic-discr
#15088 - feat(algebra/cubic_discriminant): remove custom `cubic` structure and replace by API about new `to_poly`
Author
hrmacbeth
Parents
e9c300f2
Loading