lib/ModuRes/Finmap2.v · b30a6ce618d721e4c9731f67658e3381ccdbc029 · Amin Timany / iris-coq · GitLab

Snippets Groups Projects

Forked from Iris / Iris

Source project has a limited visibility.

9 years ago
b30a6ce6
reduce extensionality of fdFold to a commutativity lemma about fold_right (on... · b30a6ce6
Ralf Jung authored 9 years ago
```
reduce extensionality of fdFold to a commutativity lemma about fold_right (on lists) and permutations (of lists)
```
b30a6ce6

History
reduce extensionality of fdFold to a commutativity lemma about fold_right (on...
Ralf Jung authored 9 years ago
```
reduce extensionality of fdFold to a commutativity lemma about fold_right (on lists) and permutations (of lists)
```