diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-01-19 23:26:01 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-01-19 23:26:01 -0500 |
| commit | ee06e45ebac097f7518adf50b4f15fdea322eb00 (patch) | |
| tree | 95ed6e46bfdd97974bc93a3dab8cd97ac9d934b9 /src/Util/Notations.v | |
| parent | fa027c4a37ed455a26a5bb12c6f3d54ae4bd8774 (diff) | |
Add ZUtil lemma from zetabase
Diffstat (limited to 'src/Util/Notations.v')
0 files changed, 0 insertions, 0 deletions