`BookProof.ChapterObservableOperator.observableOp_isHermitian` (k : Fin m → EuclideanSpace ℂ (Fin n)) (v : Fin m → ℝ) : (observableOp k v).IsHermitian

Initializing...

`BookProof.ChapterObservableOperator.observableOp_isHermitian` (k : Fin m → EuclideanSpace ℂ (Fin n)) (v : Fin m → ℝ) : (observableOp k v).IsHermitian · Prove2Me