`BookProof.BookBrstYangMills.bookGhostCar` : GhostCAR (chiOp (N := N)) (betaOp (N := N))

Initializing...

`BookProof.BookBrstYangMills.bookGhostCar` : GhostCAR (chiOp (N := N)) (betaOp (N := N)) · Prove2Me