P
Initializing...
Approximation of the diagonal resampling map $\mathcal D'$ (Lemma 4.8) · Prove2Me