mathlib3
chore(category_theory): remove superfluous lemma
#1614

Merged

chore(category_theory): remove superfluous lemma #1614

mergify merged 2 commits into master from remove_assoc_symm

chore(category_theory): remove superfluous lemma

72e5bb1f

rwbarton approved these changes on 2019-10-27

rwbarton added ready-to-merge

Merge branch 'master' into remove_assoc_symm

369207d6

mergify merged 8a45d98f into master 6 years ago

mergify deleted the remove_assoc_symm branch 6 years ago

Reviewers

rwbarton

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone