PanLinx
čeština
ces-000
konečně generovaný
English
eng-000
finitely generated
PanLex