`BookProof.NsBrstDerivativeGauge.nsDerivBrstCharge2_hamiltonian2_comm` (nu : ℂ) : nsDerivBrstCharge2 * nsHamiltonian2 nu = nsHamiltonian2 nu * nsDerivBrstCharge2

Initializing...

`BookProof.NsBrstDerivativeGauge.nsDerivBrstCharge2_hamiltonian2_comm` (nu : ℂ) : nsDerivBrstCharge2 * nsHamiltonian2 nu = nsHamiltonian2 nu * nsDerivBrstCharge2 · Prove2Me