PR #1001 feat(category_theory/iso): missing lemmas

feat(category_theory/iso): missing lemmas #1001

mergify merged 8 commits into master from iso-lemmas

feat(category_theory/iso): missing lemmas

b692e35d

formatting

d4e02913

formatting

d6943b39

oops

78ab05d4

one more

b5e0c57d

sleep

b01a80ea

kim-em requested a review 6 years ago

jcommelin commented on 2019-05-10

Merge branch 'master' into iso-lemmas

212e906b

jcommelin added ready-to-merge

jcommelin approved these changes on 2019-05-13

rwbarton dismissed these changes on 2019-05-13

Merge branch 'master' into iso-lemmas

5365272e

jcommelin dismissed these changes on 2019-05-13

mergify dismissed their stale review 6 years ago

Pull request has been modified.

mergify dismissed their stale review 6 years ago

Pull request has been modified.

jcommelin approved these changes on 2019-05-13

mergify merged 6c35df0d into master 6 years ago

mergify deleted the iso-lemmas branch 6 years ago

Reviewers

jcommelin

rwbarton

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone