mathlib3
5a309a3a
- fix(category_theory/eq_to_hom): remove bad simp lemmas (#1346)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
7 years ago
fix(category_theory/eq_to_hom): remove bad simp lemmas (#1346)
References
#1346 - fix(category_theory/eq_to_hom): remove bad simp lemmas
Author
kim-em
Committer
mergify[bot]
Parents
9eefd40e
Loading
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&s=60)