-
Robbert Krebbers authored
Big op lemmas `big_op{L,L2,M,M2,S}_intuitionistically_forall` See merge request iris/iris!560
c357006a
To find the state of this project's repository at the time of any of these versions, check out the tags.
Big op lemmas `big_op{L,L2,M,M2,S}_intuitionistically_forall` See merge request iris/iris!560