mathlib
5e5298b9
- feat(adjointify): make definition easier for elaborator (#1045)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
6 years ago
feat(adjointify): make definition easier for elaborator (#1045)
References
#1045 - feat(category_theory/equivalence): make definition of adjointify_η easier to elaborate
Author
fpvandoorn
Committer
mergify[bot]
Parents
45afa86e
Loading