P
Initializing...
`BookProof.ChapterGleasonPureMixed.Q_isPure` : IsPureState Q · Prove2Me