`BookProof.FockDegreesOfFreedom.YangMills4D.ghostRawCard` : Fintype.card GhostRaw = 39 + 1

Initializing...

`BookProof.FockDegreesOfFreedom.YangMills4D.ghostRawCard` : Fintype.card GhostRaw = 39 + 1 · Prove2Me