PanLinx
русский
rus-000
конечно представимый модуль
English
eng-000
finitely presented module
PanLex