Skip to content
GitLab

Add `big_sepL2_swap`

Merged Dan Frumin requested to merge dfrumin/iris-coq:big_op2_swap into master

If you think that this is a good idea, then I can add similar lemmas for other big ops

Edited by Dan Frumin