P
Initializing...
$|\mu_{\mathbf a}|\le 5^M8^{-N_r}$ (corrected: $\Gamma_{\mathbf a}$ from transposed tables) · Prove2Me