PanLinx
русский
rus-000
полулокальная теорема
English
eng-000
semilocal theorem
PanLex