Skip to content

WIP: Some lemmas about `list_lookup_total`

Dan Fruminrequested to merge
dfrumin/coq-stdpp:lookup_total_lemmas into master

Partially addresses #50 (closed)

Edited by Robbert Krebbers

Merge request reports