`BookProof.NavierStokesEulerian.nsBrst_symmetrization_hermitian` {n : ℕ} (d : NSTruncation n) : (nsBrstCharge d + (nsBrstCharge d)ᴴ)ᴴ = nsBrstCharge d + (nsBrstCharge d)ᴴ

Initializing...

`BookProof.NavierStokesEulerian.nsBrst_symmetrization_hermitian` {n : ℕ} (d : NSTruncation n) : (nsBrstCharge d + (nsBrstCharge d)ᴴ)ᴴ = nsBrstCharge d + (nsBrstCharge d)ᴴ · Prove2Me