Fixed-point approximation of the diagonal resampling map $\mathcal D'$ (Harvey–van der Hoeven Lemma 4.8)

Initializing...

Fixed-point approximation of the diagonal resampling map $\mathcal D'$ (Harvey–van der Hoeven Lemma 4.8) · Prove2Me