§4.2, side-note p. 37 — the eigenvalues e^{−2πik/n}, k = 0, …, n−1, of the shift S are distinct

Initializing...

§4.2, side-note p. 37 — the eigenvalues e^{−2πik/n}, k = 0, …, n−1, of the shift S are distinct · Prove2Me