P
Initializing...
`BookProof.FockDegreesOfFreedom.YangMills3D.jetCard` : Fintype.card Jet = 99 · Prove2Me