Skip to content
Snippets Groups Projects
Ralf Jung's avatar
Ralf Jung authored
add big_sep*_sep_2 lemmas for merging bigops via iDestruct

See merge request iris/iris!736
6575260a
History
Name Last commit Last update