Skip to content
Snippets Groups Projects

Add lemma `exist_wand_forall`, similar to `exist_impl_forall`.

Passed
iris-dev created pipeline for commit c6bcaade
, finished
For master
21 minutes 49 seconds, queued for 2 seconds