P

Initializing...

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