higher Teichmüller spaces

GPTKB entity