P
Initializing...
Neumann-series approximation of $\mathcal J'$ (Lemma 4.12) · Prove2Me