`BookProof.ShiftedQuadraticMatrix.entries_symm` {A : Matrix (Fin d) (Fin d) ℝ} (hA : A.IsHermitian) (i j : Fin d) : A i j = A j i

Initializing...

`BookProof.ShiftedQuadraticMatrix.entries_symm` {A : Matrix (Fin d) (Fin d) ℝ} (hA : A.IsHermitian) (i j : Fin d) : A i j = A j i · Prove2Me