lemma

While working on one of them, Morel realized her proof called for a lemma — a type of short steppingstone result — that mathlib didn’t have.

Some American Authors have recently adopted for the flowering glume the term lemma introduced by Piper.

The method of exhaustion used, for the purpose of proof by reductio ad absurdum, the lemma proved in Eucl.

His apparatus is the first to supply a lemma for each variant reading reported, and is clear and easy to read.

The lemma in his note is Oratesque, the reading of Daniel Heinsius' edition.