P
Initializing...
`BookProof.FockDegreesOfFreedom.NavierStokes.jetCard` : Fintype.card Jet = 33 · Prove2Me