Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Repository
stdpp
theories
binders.v
Find file
Blame
History
Permalink
Add lemma `binder_delete_empty`.
· 7e0096d8
Robbert Krebbers
authored
Jan 18, 2020
7e0096d8