P
Initializing...
`BookProof.FockFieldPerturbation.numberQuad_nonneg` (u : FockAlg) : 0 ≤ numberQuad u · Prove2Me