Skip to content
GitLab
Explore
Sign in
Paolo G. Giarrusso
iris
Repository
iris
theories
algebra
list.v
Find file
Blame
History
Permalink
Merge branch 'list_singletonM_{lt,gt}' into 'master'
· e2f65bbd
Robbert Krebbers
authored
Jan 23, 2020
Add several lemmas about list singletons See merge request
iris/iris!364
e2f65bbd