mathlib3
feat(category_theory): add naturality_assoc simp lemma
#2200

Merged

feat(category_theory): add naturality_assoc simp lemma #2200

mergify merged 2 commits into master from naturality_assoc

feat(category_theory): add naturality_assoc simp lemma

830b2060

jcommelin approved these changes on 2020-03-20

jcommelin added ready-to-merge

Merge branch 'master' into naturality_assoc

2c6192e3

mergify merged 34bac8d3 into master 5 years ago

mergify deleted the naturality_assoc branch 5 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone