(v : ℕ →₀ ℂ) (x : FockAlg) : creVec v x = ∑ j ∈ v.support, v j • creA j x

Initializing...

(v : ℕ →₀ ℂ) (x : FockAlg) : creVec v x = ∑ j ∈ v.support, v j • creA j x · Prove2Me