bn:01113521n
Noun Concept
JA
補題
EN
Proven mathematical theorem that is primarily used as a tool to prove another theorem. OmegaWiki
Sources
Wikipedia Translations
JA