P
Initializing...
`BookProof.ChapterGleasonPureMixed.E_Q_P0` : E Q P0 = 1/2 · Prove2Me