mathlib
05102ecb - chore(category_theory): using simps (#1500)

Commit

6 years ago

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

References

Author

kim-em

Committer

mergify[bot]

Parents