`BookProof.FockFieldPerturbation.creVec_numberCol` (k : ℕ) (x : FockAlg) : creVec (numberCol k) x = creA k x

Initializing...

`BookProof.FockFieldPerturbation.creVec_numberCol` (k : ℕ) (x : FockAlg) : creVec (numberCol k) x = creA k x · Prove2Me