Skip to content

some lemmas about list submseteq

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