bn:01113521n
Noun Concept
EL
λήμμα
EN
Proven mathematical theorem that is primarily used as a tool to prove another theorem. OmegaWiki
Sources
Wikipedia Translations