(mu : ℝ) : nsDiffN mu = (((2 * mu : ℝ) : ℂ)) • (∑ i, (creOp i).comp (annOp i)) + (((3 * mu + 1 : ℝ) : ℂ)) • LinearMap.id

Initializing...

(mu : ℝ) : nsDiffN mu = (((2 * mu : ℝ) : ℂ)) • (∑ i, (creOp i).comp (annOp i)) + (((3 * mu + 1 : ℝ) : ℂ)) • LinearMap.id · Prove2Me