P
Initializing...
Truncated fixed-point approximation of the resampling map $\mathcal S'$ (Harvey–van der Hoeven Lemma 4.9) · Prove2Me