mathlib
00b510eb
- perf(data/*): add inline attributes (#2380)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
5 years ago
perf(data/*): add inline attributes (#2380) This is part of an effort to bring `rewrite_search` to mathlib. Depends on #2375. Co-authored-by: Keeley Hoek <keeley@hoek.io>
References
#2700 - Fix merge conflict
Author
jcommelin
Parents
690643ab
Loading