P
Initializing...
Truncated approximation of the resampling map $\mathcal S'$ (Lemma 4.9) · Prove2Me