Skip to content

Add lemma `lookup_snoc_Some`.

Robbert Krebbers requested to merge robbert/lookup_snoc_Some into master

Merge request reports

Loading