Correction minors positive on $u\in[71/320,9/40]$, $\rho\in[113/640,243/1280]$ (directC3)

Initializing...

Correction minors positive on $u\in[71/320,9/40]$, $\rho\in[113/640,243/1280]$ (directC3) · Prove2Me