`BookProof.FockNumberPreservingGap.creVec_smul` (c : ℂ) (v : ℕ →₀ ℂ) (x : FockAlg) : creVec (c • v) x = c • creVec v x

Initializing...

`BookProof.FockNumberPreservingGap.creVec_smul` (c : ℂ) (v : ℕ →₀ ℂ) (x : FockAlg) : creVec (c • v) x = c • creVec v x · Prove2Me