# Commit 2019-10-18 19:41 05102ecb

View on Github →chore(category_theory): using simps (#1500)

- chore(category_theory): using simps
- more simps
- remove simp lemma
- revertings overlapping @[simps]

chore(category_theory): using simps (#1500)

- chore(category_theory): using simps
- more simps
- remove simp lemma
- revertings overlapping @[simps]