Results for « 引理 » (cmn)
06751833-n (4)
辅助定理, 引理, 辅助 定理
lemma
     a subsidiary proposition that is assumed to be true in order to prove another proposition

Langs:
Preferences
(0.00253 seconds)
More detail about the NTUMC+ Open Multilingual Wordnet (0.9)
This project is now integrated in the Extended Open Multilingual Wordnet (0.9)
Maintainer: Francis Bond <bond@ieee.org>