Added some useful lemmas about [list_subseteq]

Added some generally useful lemmas about the [list_subseteq] function

added 1 commit

• 11d2f650 - Renamed lemmas to be more consistent with existing ones

Compare with previous version

added 8 commits

• 11d2f650...f23a05c3 - 6 commits from branch iris:master
• 80bc3965 - Added some useful lemmas about [list_subseteq]
• 1633b3dd - Renamed lemmas to be more consistent with existing ones

Compare with previous version

resolved all threads

resolved all threads

added 1 commit

• 03bdbb8d - Apply 1 suggestion(s) to 1 file(s)

Compare with previous version

Thanks. Going to merge.

PS: Random minor remark: Note that in Gitlab (and also commit message) Markdown is preferred over Coqdoc, since that will actually be rendered.

enabled an automatic merge when the pipeline for 03bdbb8d succeeds

merged

mentioned in commit 9f6f8c38