`BookProof.FockFieldPerturbation.annVec_apply` (f : ℕ →₀ ℂ) (x : FockAlg) : annVec f x = ∑ j ∈ f.support, ((starRingEnd ℂ) (f j)) • annA j x

Initializing...

`BookProof.FockFieldPerturbation.annVec_apply` (f : ℕ →₀ ℂ) (x : FockAlg) : annVec f x = ∑ j ∈ f.support, ((starRingEnd ℂ) (f j)) • annA j x · Prove2Me