lemma

<logic> A result already proved, which is needed in the proof of some further result.



Nearby terms:
legalese « LEGOL « Le-Lisp « lemma » Lempel-Ziv compression » Lempel-Ziv Welch compression » Lenat, Doug