`BookProof.FockFieldPerturbation.fieldVec_apply` (f : ℕ →₀ ℂ) (x : FockAlg) : fieldVec f x = creVec f x + annVec f x

Initializing...

`BookProof.FockFieldPerturbation.fieldVec_apply` (f : ℕ →₀ ℂ) (x : FockAlg) : fieldVec f x = creVec f x + annVec f x · Prove2Me