P
Initializing...
Lemma 4 — the gradient mapping 𝒢(x, ·, c) is 1-Lipschitz · Prove2Me