PanLinx
русский
rus-000
функторная фактор-группа
English
eng-000
functorial quotient group
PanLex
