Correction minors positive on $u\in[39/160,1/4]$, $\rho\in[133/320,283/640]$ (directC3)

Initializing...

Correction minors positive on $u\in[39/160,1/4]$, $\rho\in[133/320,283/640]$ (directC3) · Prove2Me