Property:Distal lemma size

Types of distal lemma size

None.

Parts of distal lemma size

None.