PR #1500 chore(category_theory): using simps

chore(category_theory): using simps #1500

mergify merged 6 commits into master from category_theory_simps

chore(category_theory): using simps

57842e79

more simps

d6ae7c5c

kim-em added WIP

kim-em requested a review 6 years ago

rwbarton commented on 2019-10-02

remove simp lemma

a73091bf

revertings overlapping @[simps]

9a7ff760

kim-em removed WIP

kim-em added awaiting-review

Merge branch 'master' into category_theory_simps

0e7aad8e

robertylewis assigned

rwbarton 6 years ago

jcommelin commented on 2019-10-18

fpvandoorn approved these changes on 2019-10-18

fpvandoorn removed awaiting-review

fpvandoorn added ready-to-merge

Merge branch 'master' into category_theory_simps

63f2692f

mergify merged 05102ecb into master 6 years ago

mergify deleted the category_theory_simps branch 6 years ago

Reviewers

fpvandoorn

jcommelin

rwbarton

Assignees

rwbarton

Labels

ready-to-merge

Milestone

No milestone