mathlib
0eb9db6a
- chore(linear_algebra/multivariate_polynomial): move rename to the right place
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
6 years ago
chore(linear_algebra/multivariate_polynomial): move rename to the right place
Author
johoelzl
Committer
johoelzl
Parents
a480160a
Loading
mathlib
0eb9db6a - chore(linear_algebra/multivariate_polynomial): move rename to the right place
