`BookProof.QgPhysicalSectorIdentity.coupling_weighted_summable` {ω : ι → ℝ} (h : ι × ι → ℂ) (hsum : Summable fun k : ι × ι => ‖h k‖ * (ω k.1 + ω k.2 + 2)) : Summable fun k...

Initializing...

`BookProof.QgPhysicalSectorIdentity.coupling_weighted_summable` {ω : ι → ℝ} (h : ι × ι → ℂ) (hsum : Summable fun k : ι × ι => ‖h k‖ * (ω k.1 + ω k.2 + 2)) : Summable fun k... · Prove2Me