Skip to content
GitLab
Explore
Sign in
Dan Frumin
iris-coq
Repository
iris-coq
theories
bi
big_op.v
Find file
Blame
History
Permalink
Add `big_sepM2_flip` and rename `big_sepL2_swap` to `.._flip`.
· d7d70ff1
Dan Frumin
authored
Aug 24, 2019
d7d70ff1