Fixed-point real exponentials $e^{-\pi j/k}$ and $2^{-\sigma}e^{\pi j/k}$ (Harvey–van der Hoeven Lemmas 2.13–2.14)

Initializing...

Fixed-point real exponentials $e^{-\pi j/k}$ and $2^{-\sigma}e^{\pi j/k}$ (Harvey–van der Hoeven Lemmas 2.13–2.14) · Prove2Me