`BookProof.NsBrstDerivativeGauge.nsHamiltonian2_mapsTo_ker` (nu : ℂ) {v : NSGraded} (hv : nsDerivBrstCharge2 v = 0) : nsDerivBrstCharge2 (nsHamiltonian2 nu v) = 0

Initializing...

`BookProof.NsBrstDerivativeGauge.nsHamiltonian2_mapsTo_ker` (nu : ℂ) {v : NSGraded} (hv : nsDerivBrstCharge2 v = 0) : nsDerivBrstCharge2 (nsHamiltonian2 nu v) = 0 · Prove2Me