mathlib3
chore(category_theory): replace some @[simp] with @[simps]
#1605

Merged

chore(category_theory): replace some @[simp] with @[simps] #1605

mergify merged 2 commits into master from more-simps

chore(category_theory): replace some @[simp] with @[simps]

a4a9a4fd

jcommelin approved these changes on 2019-10-24

jcommelin added ready-to-merge

Merge branch 'master' into more-simps

0edb89c9

mergify merged 3f8a492b into master 6 years ago

mergify deleted the more-simps branch 6 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone