PanLinx
русский
rus-000
лемма о включении
English
eng-000
inclusion lemma
PanLex