P
Initializing...
Compactness of fast planes with a lower bound on the $\mathbb{R}$-coordinate · Prove2Me