Documentation

Mathlib.CategoryTheory.Abelian.Injective

Injective objects in abelian categories #