Proof of Sato–Tate conjecture

GPTKB entity