Lemma 27.3: for coordinatewise ρ-Lipschitz φ, N(ρr, φ ∘ A) ≤ N(r, A) · Prove2Me

P

Initializing...

Lemma 27.3: for coordinatewise ρ-Lipschitz φ, N(ρr, φ ∘ A) ≤ N(r, A) · Prove2Me