PanLinx
русский
rus-000
конечно определённая группа
English
eng-000
finitely defined group
PanLex