Conway group Co0

GPTKB entity