lemma

A lemma is a "minor" theorem that is stated as a step toward a more important result. Typically, it is not an end in itself, but rather an organizational tool for a larger proof.


Powered by Forestry.md