mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat(category_theory/preadditive): inclusion functor from left exact functors to additive functors

Open TwoFX opened this issue 3 years ago • 1 comments

  • [x] depends on: #12014
  • [x] depends on: #12330
  • [x] depends on: #12336

Open in Gitpod

TwoFX avatar Feb 27 '22 15:02 TwoFX

This PR/issue depends on:

  • ~~leanprover-community/mathlib#12014~~
  • ~~leanprover-community/mathlib#12330~~
  • ~~leanprover-community/mathlib#12336~~ By Dependent Issues (🤖). Happy coding!

mathlib-dependent-issues-bot avatar Aug 10 '22 15:08 mathlib-dependent-issues-bot

Thanks :tada:

bors merge

jcommelin avatar Aug 15 '22 14:08 jcommelin

Build failed (retrying...):

bors[bot] avatar Aug 15 '22 15:08 bors[bot]

Build failed (retrying...):

bors[bot] avatar Aug 15 '22 16:08 bors[bot]

Build failed (retrying...):

bors[bot] avatar Aug 15 '22 16:08 bors[bot]

bors merge p=3

jcommelin avatar Aug 15 '22 19:08 jcommelin

Pull request successfully merged into master.

Build succeeded:

bors[bot] avatar Aug 16 '22 01:08 bors[bot]