P

Initializing...

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