Skip to content

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

Robbert Krebbers requested to merge robbert/lookup_app into master

Merge request reports