Online Computer Dictionary

Browse words  |  Based on FOLDOC

Queried for: lemma  About lemma

Definition:

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