PR #2156 feat(category_theory/limits): kernel forks

feat(category_theory/limits): kernel forks #2156

mergify merged 2 commits into master from kernel-fork

feat(category_theory/limits): kernel forks

67584fec

TwoFX force pushed from 12273060 to 67584fec 6 years ago

kim-em approved these changes on 2020-03-15

kim-em added ready-to-merge

Merge branch 'master' into kernel-fork

fbb89a68

mergify merged fbe2ce09 into master 6 years ago

mergify deleted the kernel-fork branch 6 years ago

Reviewers

kim-em

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone