Completing proof of splitting lemma#187

thesnakefromthelemma wants to merge 1 commit intostacks:masterstacks/stacks-project:masterfrom

thesnakefromthelemma:splitting-lemma-patchthesnakefromthelemma/stacks-project:splitting-lemma-patchCopy head branch name to clipboard