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