(33), p. 7 — ψ ↦ ⟨φ|ψ⟩ is 1-Lipschitz: |⟨φ|ψ⟩ − ⟨φ|ψ′⟩| ≤ ‖ψ − ψ′‖₂

Initializing...

(33), p. 7 — ψ ↦ ⟨φ|ψ⟩ is 1-Lipschitz: |⟨φ|ψ⟩ − ⟨φ|ψ′⟩| ≤ ‖ψ − ψ′‖₂ · Prove2Me