feat(CategoryTheory/Triangulated): abelian subcategories#35387

joelriou wants to merge 3 commits intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

joelriou:triangulated-abelian-subcategoryjoelriou/mathlib4:triangulated-abelian-subcategoryCopy head branch name to clipboard