P
Initializing...
`BookProof.ChapterA3.lambdaOf_omegaG05` : LambdaOf omegaG05 = -minkowskiMat · Prove2Me