∀ {m : Type u_1} {n : Type u_2} {𝔸 : Type u_4} [inst : Fintype m] [inst_1 : DecidableEq m] [inst_2 : Fintype n]
  [inst_3 : DecidableEq n] [inst_4 : Ring 𝔸] [inst_5 : TopologicalSpace 𝔸] [inst_6 : IsTopologicalRing 𝔸] [T2Space 𝔸]
  [Algebra ℚ 𝔸] (v : m → Matrix n n 𝔸),
  NormedSpace.exp (Matrix.blockDiagonal v) = Matrix.blockDiagonal (NormedSpace.exp v)