∀ (R : Type u_1) (A : Type u_2) {M₁ : Type u_3} {N₁ : Type u_4} [inst : CommRing R] [inst_1 : CommRing A]
  [inst_2 : AddCommGroup M₁] [inst_3 : AddCommGroup N₁] [inst_4 : Algebra R A] [inst_5 : Module A M₁]
  [inst_6 : Module R N₁] [inst_7 : Module A N₁] [inst_8 : IsScalarTower R A N₁],
  SMulCommClass R A (QuadraticMap A M₁ N₁)