Skip to content

Add `big_sepL2_swap`

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

Merge request reports