`BookProof.FockDegreesOfFreedom.NavierStokes.jetCard_firstOrder` : Fintype.card (Fin 3 ⊕ Fin 3 ⊕ (Fin 3 × Fin 3)) = 15

Initializing...

`BookProof.FockDegreesOfFreedom.NavierStokes.jetCard_firstOrder` : Fintype.card (Fin 3 ⊕ Fin 3 ⊕ (Fin 3 × Fin 3)) = 15 · Prove2Me