引理 yǐnlǐ
yǐnlǐ
noun
lemma
Domain: Modern Chinese 现代汉语
, Subdomain: Mathematics
Notes: (CC-CEDICT '引理')