P
Initializing...
`BookProof.FockDegreesOfFreedom.NavierStokes.card_symPair` : Fintype.card SymPair = 6 · Prove2Me