`BookProof.FockQuadratic.wsum_add` (ω : ι → ℝ) (a b : Idx ι) : wsum ω (a + b) = wsum ω a + wsum ω b

Initializing...

`BookProof.FockQuadratic.wsum_add` (ω : ι → ℝ) (a b : Idx ι) : wsum ω (a + b) = wsum ω a + wsum ω b · Prove2Me