truncated Witt vector

GPTKB entity