some lemmas about list submseteq

Merged Ralf Jung requested 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