PR #908 feat(category_theory): iso_whisker_(left|right)

feat(category_theory): iso_whisker_(left|right) #908

mergify merged 5 commits into master from whisker_iso

feat(category_theory): iso_whisker_(left|right)

a3052e50

oops, use old notation for now

71b463a9

kim-em requested a review 6 years ago

jcommelin dismissed these changes on 2019-04-09

rwbarton dismissed these changes on 2019-04-09

rwbarton added ready-to-merge

Merge branch 'master' into 'whisker_iso'

209010ff

ChrisHughes24 removed ready-to-merge

ChrisHughes24 added ready-to-merge

Merge branch 'master' into 'whisker_iso'

24ee2ce9

update after merge

e81ea656

mergify dismissed their stale review 6 years ago

Pull request has been modified.

mergify dismissed their stale review 6 years ago

Pull request has been modified.

ChrisHughes24 approved these changes on 2019-04-10

mergify merged f04535de into master 6 years ago

ChrisHughes24 deleted the whisker_iso branch 6 years ago

Reviewers

ChrisHughes24

rwbarton

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone