P
Initializing...
`BookProof.QuantumGravityBrstCharge.ghostOp_zero` : ghostOp 0 = 0 · Prove2Me