Correction minors positive on $u\in[87/320,11/40]$, $\rho\in[571/2560,147/640]$ (directC3)

Initializing...

Correction minors positive on $u\in[87/320,11/40]$, $\rho\in[571/2560,147/640]$ (directC3) · Prove2Me