P
Initializing...
Theorem 1.4 on $\mathbb{R}^d$, granted Theorem 1.1 · Prove2Me