P
Initializing...
`BookProof.QgOuterFockInteractionFL.QgFamily.flc_nonneg` : 0 ≤ F.flc · Prove2Me