Regular polytopes

GPTKB entity