π₁^ét(X)

GPTKB entity