Lemma
<logic> A result already proved, which is needed in the proof of some further result.
| < Previous Terms | Terms Containing lemma | Next Terms > |
| legacy system legal legalese LEGOL Le-Lisp | axiom hexadecimal | Lempel-Ziv compression Lempel-Ziv Welch compression Lenat, Doug lenient evaluation LEO |
