Lemma statement mathematical notation

Lemma statement is a recurring research-paper notation family. Labels a proved claim introduced primarily to support a later theorem, construction, or proof step.

Lemma statement: Labels a proved claim introduced primarily to support a later theorem, construction, or proof step. Example: Establish this supporting set relation for later use.