PanLinx
English
eng-000
fundamental lemma
普通话
cmn-000
基本引理
русский
rus-000
фундаментальная лемма
PanLex