punit intead of adding new constants
#1257

Merged

cleanup(category_theory/monoidal): use equiv on prod/punit intead of adding new constants #1257

mergify merged 1 commit into master from monoidal_types_cleanup

johoelzl requested a review 6 years ago

cleanup(category_theory/monoidal): use equiv on prod/punit intead of …

d0e2c8f1

johoelzl force pushed from 8b75398e to d0e2c8f1 6 years ago

jcommelin requested a review from

kim-em 6 years ago

jcommelin added ready-to-merge

jcommelin approved these changes on 2019-07-24

mergify merged b0c52519 into master 6 years ago

mergify deleted the monoidal_types_cleanup branch 6 years ago

Reviewers

jcommelin

kim-em

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone