Correction minors positive on $u\in[69/320,7/32]$, $\rho\in[243/1280,13/64]$ (directC3)

Initializing...

Correction minors positive on $u\in[69/320,7/32]$, $\rho\in[243/1280,13/64]$ (directC3) · Prove2Me