Documentation

Mathlib.Algebra.Category.ModuleCat.Injective

Injective objects in the category of R-modules #