Correction minors positive on $u\in[19/64,3/10]$, $\rho\in[99/320,413/1280]$ (directC3)

Initializing...

Correction minors positive on $u\in[19/64,3/10]$, $\rho\in[99/320,413/1280]$ (directC3) · Prove2Me