mathlib3
ed75b7a6
- remove decidable instance
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
remove decidable instance
References
Iio_wf
Author
abentkamp
Parents
09b4a9ec
Loading