P
Initializing...
`BookProof.ChapterA3.hasLambda_omegaA5` : HasLambda omegaA5 (-1) · Prove2Me