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/ZUtil/Z2Nat.v | |
parent | ac184af76e778cbc9e9655bc96b90fc76f6161a5 (diff) |
Add some eq list_rect lemmas to ListUtil
Diffstat (limited to 'src/Util/ZUtil/Z2Nat.v')
0 files changed, 0 insertions, 0 deletions