`BookProof.FockNumberPreservingGap.shiftCol_apply` (col : ℕ → (ℕ →₀ ℂ)) (mu : ℝ) (k : ℕ) : shiftCol col mu k = col k

Initializing...

`BookProof.FockNumberPreservingGap.shiftCol_apply` (col : ℕ → (ℕ →₀ ℂ)) (mu : ℝ) (k : ℕ) : shiftCol col mu k = col k - ((mu : ℝ) : ℂ) • numberCol k · Prove2Me