mathlib3
feat(category_theory): define `iso.conj` and friends
#1381

Merged

feat(category_theory): define `iso.conj` and friends #1381

mergify merged 3 commits into leanprover-community:master from urkud:categories-conj

feat(category_theory): define `iso.conj` and friends

aa86e2f7

urkud requested a review 6 years ago

jcommelin commented on 2019-09-02

Drop 2 `@[simp]` attributes

b9c5d0dc

jcommelin approved these changes on 2019-09-02

jcommelin added ready-to-merge

Merge branch 'master' into categories-conj

fc1eeabc

mergify merged 227b6821 into master 6 years ago

urkud deleted the categories-conj branch 6 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone