Lemmas

Computing portal

Here is a list of articles in the category Lemmas of the Computing portal that unifies foundations of mathematics and computations using computers. In mathematics, a lemma is an auxiliary theorem which is typically used as a stepping stone to prove a bigger theorem. See lemma for a more detailed explanation.