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