mathlib3
feat(category_theory): lemmas about cancellation
#1005

Merged

feat(category_theory): lemmas about cancellation #1005

kim-em merged 4 commits into master from cancellation

feat(category_theory): lemmas about cancellation

5fb8196c

kim-em requested a review 6 years ago

jcommelin dismissed these changes on 2019-05-10

rename hypotheses

fa9300d4

Merge branch 'master' into cancellation

7ea8de87

mergify dismissed their stale review 6 years ago

Pull request has been modified.

Squeeze proofs

2a054436

jcommelin approved these changes on 2019-05-13

jcommelin added ready-to-merge

kim-em merged 48645152 into master 6 years ago

bryangingechen deleted the cancellation branch 5 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone