Correction minors positive on $u\in[9/32,91/320]$, $\rho\in[277/1280,571/2560]$ (directC3)

Initializing...

Correction minors positive on $u\in[9/32,91/320]$, $\rho\in[277/1280,571/2560]$ (directC3) · Prove2Me