(16) — the transport map satisfies ‖T(θ₁; z) − T(θ₂; z)‖ ≤ L_zθ/(γ − L_zz) ‖θ₁ − θ₂‖

Initializing...

(16) — the transport map satisfies ‖T(θ₁; z) − T(θ₂; z)‖ ≤ L_zθ/(γ − L_zz) ‖θ₁ − θ₂‖ · Prove2Me