`BookProof.NsBrstDerivativeGauge.nsDerivBrstCharge2_comm_hamiltonian2` (nu : ℂ) : ⁅nsDerivBrstCharge2, nsHamiltonian2 nu⁆ = 0

Initializing...

`BookProof.NsBrstDerivativeGauge.nsDerivBrstCharge2_comm_hamiltonian2` (nu : ℂ) : ⁅nsDerivBrstCharge2, nsHamiltonian2 nu⁆ = 0 · Prove2Me