synthetic geometry

GPTKB entity