`BookProof.FockNumberPreservingGap.creVec_sub` (v w : ℕ →₀ ℂ) (x : FockAlg) : creVec (v - w) x = creVec v x

Initializing...

`BookProof.FockNumberPreservingGap.creVec_sub` (v w : ℕ →₀ ℂ) (x : FockAlg) : creVec (v - w) x = creVec v x - creVec w x · Prove2Me