Additivity of tensor products of module presheaves

The objectwise tensor product makes presheaves of modules monoidal preadditive. This is the pointwise lift of the corresponding instance for ModuleCat.

instance PresheafOfModules.monoidalPreadditive {C : Type v} [CategoryTheory.Category.{u_1, v} C] (R : CategoryTheory.Functor Cᵒᵖ CommRingCat) : CategoryTheory.MonoidalPreadditive (PresheafOfModules (R.comp (CategoryTheory.forget₂ CommRingCat RingCat)))