`BookProof.FockNumberPreservingGap.numberCol_eq` (k : ℕ) : numberCol k = Finsupp.single k (1 : ℂ)

Initializing...

`BookProof.FockNumberPreservingGap.numberCol_eq` (k : ℕ) : numberCol k = Finsupp.single k (1 : ℂ) · Prove2Me