pullbacks): proof golf
#1407

Merged

refactor(category_theory/limits/shapes/pullbacks): proof golf #1407

mergify merged 3 commits into master from pullback-golf

refactor(category_theory/limits): make is_[co]limit not a class

c3ddc622

refactor(category_theory/limits/shapes/pullbacks): proof golf

dbb6a0c8

rwbarton requested a review 6 years ago

rwbarton added WIP

rwbarton changed the title ~~Pullback golf~~ refactor(category_theory/limits/shapes/pullbacks): proof golf 6 years ago

jcommelin approved these changes on 2019-09-07

jcommelin added ready-to-merge

Merge branch 'master' into pullback-golf

6c00d561

mergify merged d6a0ac58 into master 6 years ago

mergify deleted the pullback-golf branch 6 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

WIP ready-to-merge

Milestone

No milestone