mathlib documentation

category_theory.abelian.generator

A complete abelian category with enough injectives and a separator has an injective coseparator #

Future work #

References #