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