Truncated fixed-point approximation of the off-diagonal map $\mathcal E$ (Harvey–van der Hoeven Lemma 4.11)

Initializing...

Truncated fixed-point approximation of the off-diagonal map $\mathcal E$ (Harvey–van der Hoeven Lemma 4.11) · Prove2Me