Correction chart direct C3: $0<M_{\mathrm{left}}$ and $0<M_{\det}$ for $u\in[1/5,3/10]$, $\rho\in[3/20,1)$

Initializing...

Correction chart direct C3: $0<M_{\mathrm{left}}$ and $0<M_{\det}$ for $u\in[1/5,3/10]$, $\rho\in[3/20,1)$ · Prove2Me