diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-11-19 15:53:35 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2018-11-19 15:53:35 -0500 |
| commit | 5eb6a40d1b8379ea7472c6275cb9fd214bd3732d (patch) | |
| tree | a171859df3033210df0e2d47b0be7ac6e22e32f3 /src/Util/GlobalSettings.v | |
| parent | 1c785371ab42bd08dce72b88cc234d19f404e3bf (diff) | |
Add related_sigT_by_eq proper lemmas
Diffstat (limited to 'src/Util/GlobalSettings.v')
0 files changed, 0 insertions, 0 deletions