Mizar C

GPTKB entity