P
Initializing...
`BookProof.ChapterA3.lambdaOf_omegaA5` : LambdaOf omegaA5 = -1 · Prove2Me