`BookProof.ChapterPauliLorentz.hermMat_isHermitian` (x : Fin 4 → ℝ) : (hermMat x)ᴴ = hermMat x

Initializing...

`BookProof.ChapterPauliLorentz.hermMat_isHermitian` (x : Fin 4 → ℝ) : (hermMat x)ᴴ = hermMat x · Prove2Me