f16275c6 · Add `submsetseq` and associated lemmas

b1cae96b · Add lemma `submsetseq_submseteq` and update CHANGELOG

9274984b · Merge branch 'ralf/list-split' into 'master'

cd9c6a5c · Prove iff lemma for elem_of_interleave

f3b64d65 · Add `submsetseq_nil` lemma

be3ec8a7 · Explicitly name hypothesis as well

404d8b2b · Use explicitly named variables

8402b07b · Add lemma `submsetseq_submseteq` and update CHANGELOG

83be9e83 · Add lemma `submsetseq_submseteq` and update CHANGELOG

1b661272 · Add main lemma and update CHANGELOG

59303247 · Add definition of permutations_submseteq

95b6b0c0 · Merge branch 'marijnvanwezel/SetUnfoldElemOf_dom_gmultiset' into 'm...

713ad87c · Add test and update CHANGELOG

d2e8771d · Merge branch 'marijnvanwezel/StronglySorted_app' into 'master'

7d1f381e · Tweak imports

3ca71179 · Remove duplicate line in CHANGELOG after rebase