P
Initializing...
`BookProof.QgOuterFockFullFL.qgFLc_nonneg` : 0 ≤ qgFLc · Prove2Me