`BookProof.FockDegreesOfFreedom.YangMills3D.ghostRawCard` : Fintype.card GhostRaw = 31 + 1

Initializing...

`BookProof.FockDegreesOfFreedom.YangMills3D.ghostRawCard` : Fintype.card GhostRaw = 31 + 1 · Prove2Me