P
Initializing...
Truncated approximation of the off-diagonal map $\mathcal E$ (Lemma 4.11) · Prove2Me