PanLinx
беларуская
bel-000
лакальна выпуклая прастора
русский
rus-000
локально выпуклое пространство
PanLex