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

Merged

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

mergify merged 2 commits into master from limit-class

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

c3ddc622

rwbarton requested a review 6 years ago

jcommelin requested a review from

kim-em 6 years ago

kim-em approved these changes on 2019-09-06

Merge branch 'master' into limit-class

a20a324a

jcommelin added ready-to-merge

jcommelin approved these changes on 2019-09-07

mergify merged 8eab714f into master 6 years ago

mergify deleted the limit-class branch 6 years ago

Reviewers

jcommelin

kim-em

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone