`BookProof.FockDegreesOfFreedom.NavierStokes.ghostRawCard` : Fintype.card GhostRaw = 3 + 1

Initializing...

`BookProof.FockDegreesOfFreedom.NavierStokes.ghostRawCard` : Fintype.card GhostRaw = 3 + 1 · Prove2Me