# 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]

Mathlib v3 is deprecated. Go to Mathlib v4

chore(category_theory): using simps (#1500)

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