Hard, downward extension of a mature lemma.
You have unsaved changes. Are you sure you want to leave this page?