P
Initializing...
$\mathrm{wind}_\pi$ is defined and nonnegative · Prove2Me