mathlib3
chore(category_theory/isomorphism): use @[simps]
#2181

Merged

chore(category_theory/isomorphism): use @[simps] #2181

mergify merged 2 commits into master from iso_simps

chore(category_theory/isomorphism): use @[simps]

bd58e09a

kim-em requested a review from

cipher1024 5 years ago

kim-em added awaiting-review

cipher1024 approved these changes on 2020-03-19

cipher1024 added ready-to-merge

Merge branch 'master' into iso_simps

e0537bd7

mergify merged 445e3320 into master 5 years ago

mergify deleted the iso_simps branch 5 years ago

kim-em removed awaiting-review

Reviewers

cipher1024

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone