mathlib
ab1ef27a
- fix `apply_instance` failure (hack?)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
fix `apply_instance` failure (hack?)
References
#16449 - feat(algebra/order/monoid_lemma_zero_lt): change tracking
Author
astrainfinita
Parents
1e2fb18b
Loading