跳到主要内容
yǐn lǐ
引理
(math.) lemma
Frequency 1.2
Meanings
(math.) lemma