diff options
| author |  Jason Gross <jgross@mit.edu> | 2019-03-08 15:51:28 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2019-03-08 15:51:28 -0500 |
| commit | 8ba8a4021bc4413fc7fe9996f1748fed7494cd0e (patch) | |
| tree | c7f5fbcd655133a98de6afa1313be0c1ff75dbd0 /src/Util/Prod.v | |
| parent | ac184af76e778cbc9e9655bc96b90fc76f6161a5 (diff) | |
Add some eq list_rect lemmas to ListUtil
Diffstat (limited to 'src/Util/Prod.v')
0 files changed, 0 insertions, 0 deletions