`BookProof.QgCouplingDGammaSum.creA_annA_apply` (k : ℕ) (u : FockAlg) (α : Conf) : creA k (annA k u) α = ((α k : ℝ) : ℂ) * u α

Initializing...

`BookProof.QgCouplingDGammaSum.creA_annA_apply` (k : ℕ) (u : FockAlg) (α : Conf) : creA k (annA k u) α = ((α k : ℝ) : ℂ) * u α · Prove2Me