P
Initializing...
$n$-bit approximation of $e^{-\pi j/k}$ (Lemma 2.13) · Prove2Me