PR #867 feat(category_theory/bifunctor): simp lemmas

feat(category_theory/bifunctor): simp lemmas #867

mergify merged 3 commits into master from category-theory-bifunctors

kim-em requested a review from

rwbarton 6 years ago

cipher1024 assigned

rwbarton 6 years ago

feat(category_theory/bifunctor): simp lemmas

19be8c63

remove need for @, thanks Kenny and Chris!

2aa6d46b

kim-em force pushed from 5c937302 to 2aa6d46b 6 years ago

rwbarton approved these changes on 2019-04-06

rwbarton added ready-to-merge

Merge branch 'master' into 'category-theory-bifunctors'

d424dd63

kim-em requested a review 6 years ago

mergify merged 8d45ccb7 into master 6 years ago

mergify deleted the category-theory-bifunctors branch 6 years ago

Reviewers

rwbarton

Assignees

rwbarton

Labels

ready-to-merge

Milestone

No milestone