Correction minors positive on $u\in[1/4,11/40]$, $\rho\in[3/20,29/80]$ (directC3) · Prove2Me

P

Initializing...

Correction minors positive on $u\in[1/4,11/40]$, $\rho\in[3/20,29/80]$ (directC3) · Prove2Me