In mathematical analysis and other fields of mathematics, a "lemma" is a preliminary proposition or statement that is proven to aid in the proof of a larger theorem. The term "lemma" comes from the Greek word "lemma," which means "that which is received" or "that which is taken." In effect, results that are designated as lemmas are often foundational results that help establish more complex results.
New to topics? Read the docs here!