mathlib4 icon indicating copy to clipboard operation
mathlib4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat(CategoryTheory/Triangulated): homological functors

Open joelriou opened this issue 10 months ago • 1 comments

  • [ ] depends on: #11740

Open in Gitpod

joelriou avatar Mar 28 '24 23:03 joelriou

This PR/issue depends on:

  • ~~leanprover-community/mathlib4#11740~~ By Dependent Issues (🤖). Happy coding!

leanprover-community-mathlib4-bot avatar Apr 18 '24 10:04 leanprover-community-mathlib4-bot

Thanks! maintainer merge

erdOne avatar Apr 29 '24 18:04 erdOne

🚀 Pull request has been placed on the maintainer queue by erdOne.

github-actions[bot] avatar Apr 29 '24 18:04 github-actions[bot]

Thanks!

bors merge

riccardobrasca avatar Apr 29 '24 19:04 riccardobrasca

Already running a review

mathlib-bors[bot] avatar Apr 29 '24 19:04 mathlib-bors[bot]

Pull request successfully merged into master.

Build succeeded:

mathlib-bors[bot] avatar Apr 29 '24 21:04 mathlib-bors[bot]