theories/algebra/list.v · e2f65bbd1417fe38a61090ad8216d332a5e8fc33 · Gaëtan Gilbert / Iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

Source project has a limited visibility.

5 years ago
e2f65bbd
Merge branch 'list_singletonM_{lt,gt}' into 'master' · e2f65bbd
Robbert Krebbers authored 5 years ago
```
Add several lemmas about list singletons

See merge request iris/iris!364
```
e2f65bbd

History
Merge branch 'list_singletonM_{lt,gt}' into 'master'
Robbert Krebbers authored 5 years ago
```
Add several lemmas about list singletons

See merge request iris/iris!364
```