P
Initializing...
Finite-energy planes have $\mathrm{wind}_\infty\ge1$ · Prove2Me