∀ {B : Type u_1} [inst : Ring B] {M : Type u_5} [inst_1 : AddCommGroup M] [inst_2 : Module B M]
  (presM : Module.Presentation B M) {A : Type u_4} [inst_3 : CommRing A] [inst_4 : Algebra A B],
  LinearMap.CompatibleSMul (presM.R →₀ B) (presM.G →₀ B) A B