P
Initializing...
`BookProof.ChapterA3.hasLambda_omegaG05` : HasLambda omegaG05 (-minkowskiMat) · Prove2Me