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