PR #982 feat(category_theory/products): associators

feat(category_theory/products): associators #982

mergify merged 3 commits into master from prod-associator

feat(category_theory/products): associators

934efaba

kim-em requested a review 6 years ago

jcommelin added ready-to-merge

jcommelin dismissed these changes on 2019-05-05

Merge branch 'master' into prod-associator

52f29c98

mergify dismissed their stale review 6 years ago

Pull request has been modified.

jcommelin approved these changes on 2019-05-05

Merge branch 'master' into 'prod-associator'

f24ad21d

mergify merged 3f26ba88 into master 6 years ago

mergify deleted the prod-associator branch 6 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone