mathlib documentation

category_theory.abelian.injective

Injective objects in abelian categories #