P

Initializing...

Lemma 26.9 (contraction, Kakade–Tewari): for coordinatewise ρ-Lipschitz φ, R(φ ∘ A) ≤ ρ R(A) · Prove2Me