Property:Lower lemma presence

Types of lower lemma presence

None.

Parts of lower lemma presence

None.