iris/bi/big_op.v · 41306b352ebe0bd1e083503ee49cced970d9655b · Iris / Iris · GitLab

Skip to content

GitLab

Explore

Sign in

iris
iris
bi
big_op.v

Blame History Permalink

Simplify `big_sepM2_union_inv_l` proof significantly. · 41306b35
Dan Frumin authored May 26, 2021
```
Thank you, Robbert.
```
41306b35