PanLinx
русский
rus-000
проконечное пополнение
English
eng-000
profinite completion
PanLex
