P
Initializing...
`BookProof.QuantumGravityBrstCharge.ghostOp_one` : ghostOp 1 = 1 · Prove2Me