cyclotomic extension

GPTKB entity