`BookProof.FockQuadratic.wsum_single` (ω : ι → ℝ) (i : ι) (k : ℕ) : wsum ω (Finsupp.single i k) = ω i * k

Initializing...

`BookProof.FockQuadratic.wsum_single` (ω : ι → ℝ) (i : ι) (k : ℕ) : wsum ω (Finsupp.single i k) = ω i * k · Prove2Me