`BookProof.QgPhysicalSectorIdentity.wsum_creIdx` (ω : ι → ℝ) (i : ι) : wsum ω (creIdx i) = ω i

Initializing...

`BookProof.QgPhysicalSectorIdentity.wsum_creIdx` (ω : ι → ℝ) (i : ι) : wsum ω (creIdx i) = ω i · Prove2Me