`BookProof.FockNumberPreservingGap.dGamma_vac` (col : ℕ → (ℕ →₀ ℂ)) : dGamma col vac = 0

Initializing...

`BookProof.FockNumberPreservingGap.dGamma_vac` (col : ℕ → (ℕ →₀ ℂ)) : dGamma col vac = 0 · Prove2Me