mathlib
9a614116
- Merge remote-tracking branch 'origin/master' into finsupp_bilin
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
4 years ago
Merge remote-tracking branch 'origin/master' into finsupp_bilin
References
finsupp_bilin
#6606 - feat(linear_algebra/bilinear_form, linear_algebra/quadratic_form): bilinear, quadratic forms on finsupp
Author
hrmacbeth
Parents
5a0daab1
5c95d480
Loading
