fix(category_theory/eq_to_hom): remove bad simp lemmas #1346
mergify
merged
5 commits into
master
from
eq_to_hom_simp_lemmas
fix(category_theory/eq_to_hom): remove bad simp lemmas
a9acfcc5
robertylewis
approved these changes
on 2019-08-19
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&s=60)
Merge branch 'master' into eq_to_hom_simp_lemmas
ad3a6367
Merge branch 'master' into eq_to_hom_simp_lemmas
f3609395
Merge branch 'master' into eq_to_hom_simp_lemmas
29108522
Merge branch 'master' into eq_to_hom_simp_lemmas
09f53b31
Login to write a write a comment.
Login via GitHub