lemma

Technology Dictionary -> lemma

Search:

lemma



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

(1995-03-25)