Cartan geometry

GPTKB entity