Coates–Wiles theorem

GPTKB entity