Skip to content
Snippets Groups Projects

Add lemma `lookup_app`, and derive other `lookup_app` lemmas from it.

Merged Add lemma `lookup_app`, and derive other `lookup_app` lemmas from it.
robbert/lookup_app into master
All threads resolved!
Merged Robbert Krebbers requested to merge robbert/lookup_app into master
All threads resolved!
Compare
and
Compare changes
  • Side-by-side
  • Inline
Files
1