P
Initializing...
`BookProof.ChapterA3.toC_minkowski_symm` : (toC minkowskiMat)ᵀ = toC minkowskiMat · Prove2Me