PanLinx
普通话
cmn-000
有待证明的定理
國語
cmn-001
有待證明的定理
Hànyǔ
cmn-003
you3 dai4 zheng4 ming2 de5 ding4 li3
Deutsch
deu-000
Lemma
PanLex
