`BookProof.ChapterA3.bilC_minkowski` (x : Fin 4 → ℂ) : bilC (toC minkowskiMat) x = Qc x

Initializing...

`BookProof.ChapterA3.bilC_minkowski` (x : Fin 4 → ℂ) : bilC (toC minkowskiMat) x = Qc x · Prove2Me