mathlib3
feat(category_theory/colimits): missing simp lemmas
#894

Merged

feat(category_theory/colimits): missing simp lemmas #894

mergify merged 4 commits into master from colimit-assoc-lemmas

feat(category_theory/colimits): missing simp lemmas

25014052

kim-em requested a review from

rwbarton 6 years ago

kim-em requested a review from

jcommelin 6 years ago

kim-em requested a review 6 years ago

jcommelin commented on 2019-04-06

rwbarton assigned

rwbarton 6 years ago

Merge branch 'master' into colimit-assoc-lemmas

ac522549

rwbarton approved these changes on 2019-04-08

rwbarton added ready-to-merge

Merge branch 'master' into 'colimit-assoc-lemmas'

8865d487

Merge branch 'master' into 'colimit-assoc-lemmas'

2f910419

mergify merged ec51b6e1 into master 6 years ago

mergify deleted the colimit-assoc-lemmas branch 6 years ago

Reviewers

rwbarton

jcommelin

Assignees

rwbarton

Labels

ready-to-merge

Milestone

No milestone