∀ {X : Type u_1} {m : Type u_4} {n : Type u_5} {R : Type u_8} [inst : TopologicalSpace X] [inst_1 : TopologicalSpace R]
  [inst_2 : NonUnitalNonAssocSemiring R] [ContinuousAdd R] [ContinuousMul R] [inst_5 : Fintype n] {A : X → Matrix m n R}
  {B : X → n → R}, Continuous A → Continuous B → Continuous fun x => (A x).mulVec (B x)