∀ {X : Type u_1} {n : Type u_5} {R : Type u_8} [inst : TopologicalSpace X] [inst_1 : TopologicalSpace R]
  [inst_2 : Fintype n] [inst_3 : DecidableEq n] [inst_4 : CommRing R] [IsTopologicalRing R] {A : X → Matrix n n R}
  {B : X → n → R}, Continuous A → Continuous B → Continuous fun x => (A x).cramer (B x)