`BookProof.NavierStokesEulerian.nsBrst_not_hermitian` {n : ℕ} (d : NSTruncation n) (h : nsDivergence d ≠ 0) : (nsBrstCharge d)ᴴ ≠ nsBrstCharge d

Initializing...

`BookProof.NavierStokesEulerian.nsBrst_not_hermitian` {n : ℕ} (d : NSTruncation n) (h : nsDivergence d ≠ 0) : (nsBrstCharge d)ᴴ ≠ nsBrstCharge d · Prove2Me