Bass–Tate theorem

GPTKB entity