mathlib
0924ac0e
- fix build
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
6 years ago
fix build
References
#645 - refactor(*): use decidable_linear_order.lift
Author
rwbarton
Committer
johoelzl
Parents
a0e2de96
Loading
