Skip to content

some big_sepL lemmas

Ralf Jung requested to merge ralf/big_sepL into master

Add big_sepL_sep_zip and big_sepL2_merge (the statement of the latter is from Perennial). I had no idea what would be good names for these, so suggestions are welcome.

I also added some snoc lemmas.

Edited by Ralf Jung

Merge request reports