P

Initializing...

Fixed-point roots of unity $e^{2\pi ij/k}$ (Harvey–van der Hoeven Lemma 2.12) · Prove2Me