Merge branch 'robbert/lookup_app' into 'master'
Add lemma `lookup_app`, and derive other `lookup_app` lemmas from it. See merge request iris/stdpp!243
Loading
Please register or sign in to comment
Add lemma `lookup_app`, and derive other `lookup_app` lemmas from it. See merge request iris/stdpp!243