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