Correction minors positive on $u\in[1/5,17/80]$, $\rho\in[317/640,167/320]$ (directC3) · Prove2Me

P

Initializing...

Correction minors positive on $u\in[1/5,17/80]$, $\rho\in[317/640,167/320]$ (directC3) · Prove2Me