∀ {R : Type u_1} [inst : CommSemiring R] {M : Submonoid R} (N₁ : Type u_4) (N₂ : Type u_5) [inst_1 : AddCommMonoid N₁]
  [inst_2 : AddCommMonoid N₂] [inst_3 : Module R N₁] [inst_4 : Module R N₂] [inst_5 : Module (Localization M) N₁]
  [inst_6 : Module (Localization M) N₂] [IsScalarTower R (Localization M) N₁] [IsScalarTower R (Localization M) N₂],
  LinearMap.CompatibleSMul N₁ N₂ (Localization M) R