Witt vectors

GPTKB entity