P
Initializing...
`BookProof.QuantumGravityFock.qgGhostModes_eq` : qgGhostModes = 4 + 16 - 1 · Prove2Me