`BookProof.QgOuterFockInteractionFL.qgCoupling_spans_two_particles` (lam : ℝ) {n : ℕ} (p : Fin n) (hp : nextPart p ≠ p) {m : Fin 64} (hm : torsionMu m ≠ torsionNu m) : qgIntVec lam

Initializing...

`BookProof.QgOuterFockInteractionFL.qgCoupling_spans_two_particles` (lam : ℝ) {n : ℕ} (p : Fin n) (hp : nextPart p ≠ p) {m : Fin 64} (hm : torsionMu m ≠ torsionNu m) : qgIntVec lam · Prove2Me