theories/finite.v · 248bc07a8db01b57d5965ceb68f3e260f740ea10 · Iris / stdpp · GitLab

Snippets Groups Projects

5 years ago
69c36292
Generalize `list_find` lemmas to become bi-implications. · 69c36292
Robbert Krebbers authored 5 years ago
```
Thanks to @jules for the suggestion and an initial proof.
```
69c36292

History
Generalize `list_find` lemmas to become bi-implications.
Robbert Krebbers authored 5 years ago
```
Thanks to @jules for the suggestion and an initial proof.
```