diff options
| author |  Jason Gross <jagro@google.com> | 2018-08-24 15:12:16 -0400 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2018-08-24 15:12:16 -0400 |
| commit | 87ed4dfaee47cd0fe79083844380886618effd09 (patch) | |
| tree | 8e98049224c30b87c75cf291f3e178333c4f3564 /src/Util/ZRange | |
| parent | 07fc5710981118e78d9e23e78e98c13a000e8635 (diff) | |
Add a few more zsimplify_const lemmas about shift
Diffstat (limited to 'src/Util/ZRange')
0 files changed, 0 insertions, 0 deletions