Correction minors positive on $u\in[21/80,43/160]$, $\rho\in[109/160,453/640]$ (directC3)

Initializing...

Correction minors positive on $u\in[21/80,43/160]$, $\rho\in[109/160,453/640]$ (directC3) · Prove2Me