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