PanLinx
русский
rus-000
разреженная компактификация
English
eng-000
scattered compactification
PanLex
