P

Initializing...

Theorem 4.7 (corrected to γ > 1/L), p. 16 — for every L > 0 and σ ∈ [−L, L] there are φ₁, φ₂ on which no DRS run with γ > 1/L has vanishing residual · Prove2Me