Lemma Collection A lemma is "something assumed" — an intermediate theorem on the path to a larger proof, or a heading that signals the subject of what follows. • 18 items • Updated 16 days ago