P
Initializing...
Lemma 5.12 — per-component gradient-variation bound · Prove2Me