P
Initializing...
Lemma 7.9 -- projections do not increase total variation · Prove2Me