Correction minors positive on $u\in[11/40,3/10]$, $\rho\in[13/64,41/160]$ (directC3) · Prove2Me

P

Initializing...

Correction minors positive on $u\in[11/40,3/10]$, $\rho\in[13/64,41/160]$ (directC3) · Prove2Me