Properties_of_Hadamard_Product

import Mathlib.Analysis.Complex.Basic

theorem Properties_of_Hadamard_Product {m n : ℕ} (A B C : Matrix (Fin m) (Fin n) ℝ) : (fun i j => A i j * B i j) = (fun i j => B i j * A i j) := by sorry