P
Initializing...
`BookProof.ChapterA3.hasLambda_omegaA0` : HasLambda omegaA0 minkowskiMat · Prove2Me