some lemmas about list submseteq

Ralf Jungrequested to merge
ralf/submseteq into master

Found in Simuliris, original proofs by @simonspies.

I am not at all sure about the names...

Merge request reports