Correction minors positive on $u\in[23/80,47/160]$, $\rho\in[589/640,303/320]$ (directC3)

Initializing...

Correction minors positive on $u\in[23/80,47/160]$, $\rho\in[589/640,303/320]$ (directC3) · Prove2Me