P
Initializing...
Truncated Neumann-series approximation of $\mathcal J'=\mathcal N^{-1}/2$ (Harvey–van der Hoeven Lemma 4.12) · Prove2Me