Correction minors positive on $u\in[9/32,23/80]$, $\rho\in[269/320,111/128]$ (directC3)

Initializing...

Correction minors positive on $u\in[9/32,23/80]$, $\rho\in[269/320,111/128]$ (directC3) · Prove2Me