PanLinx: подготовительная теорема

русский	rus-000
подготовительная теорема

English	eng-000	lemma
English	eng-000	preparation theorem

PanLex-PanLinx