P
Initializing...
`BookProof.ChapterA3.lambdaOf_omegaA0` : LambdaOf omegaA0 = minkowskiMat · Prove2Me