Correction minors positive on $u\in[17/80,9/40]$, $\rho\in[419/640,109/160]$ (directC3)

Initializing...

Correction minors positive on $u\in[17/80,9/40]$, $\rho\in[419/640,109/160]$ (directC3) · Prove2Me