`BookProof.ChapterPauliLorentz.det_hermMat` (x : Fin 4 → ℝ) : (hermMat x).det = (mink x : ℂ)

Initializing...

`BookProof.ChapterPauliLorentz.det_hermMat` (x : Fin 4 → ℝ) : (hermMat x).det = (mink x : ℂ) · Prove2Me