the additive group of integers modulo 7

GPTKB entity