mathlib3
feat(category_theory/products): missing simp lemmas
#1003

Merged

feat(category_theory/products): missing simp lemmas #1003

mergify merged 6 commits into master from prod-simp-lemmas

feat(category_theory/products): missing simp lemmas

2fa1f6cc

cleanup proofs

f2c86ea1

kim-em requested a review 6 years ago

jcommelin dismissed these changes on 2019-05-10

fix proof

0955acc7

Merge branch 'master' into prod-simp-lemmas

4d6a70aa

mergify dismissed their stale review 6 years ago

Pull request has been modified.

jcommelin commented on 2019-05-13

squeeze_simp

a8dfe950

jcommelin approved these changes on 2019-05-13

jcommelin added ready-to-merge

Merge branch 'master' into prod-simp-lemmas

d105351e

jcommelin dismissed these changes on 2019-05-13

mergify dismissed their stale review 6 years ago

Pull request has been modified.

jcommelin approved these changes on 2019-05-13

mergify merged c8a0bb6b into master 6 years ago

mergify deleted the prod-simp-lemmas branch 6 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone