Property:Middle lemma shape

Types of middle lemma shape

None.

Parts of middle lemma shape

None.