some big_sepL lemmas
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.
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.