P
Initializing...
Lemma 3.2 — contraction of total variation · Prove2Me