PanLinx
русский
rus-000
теоретическое положение
English
eng-000
abstract theorem
PanLex