<logic> A result already proved, which is needed in the proof of some further result.
(1995-03-25)
Try this search on Wikipedia, OneLook, Google
Nearby terms: legalese « LEGOL « Le-Lisp « lemma » Lempel-Ziv compression » Lempel-Ziv Welch compression » Lenat, Doug
