PR #1021 feat(category_theory/opposites): iso.op

feat(category_theory/opposites): iso.op #1021

mergify merged 3 commits into master from rwbarton-iso-op

feat(category_theory/opposites): iso.op

1005539f

rwbarton requested a review 6 years ago

Merge branch 'master' into rwbarton-iso-op

9bbf5469

jcommelin approved these changes on 2019-05-14

jcommelin added ready-to-merge

Merge branch 'master' into 'rwbarton-iso-op'

5cb48ac9

mergify merged cefb9d43 into master 6 years ago

mergify deleted the rwbarton-iso-op branch 6 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone