diff options
author | Jason Gross <jagro@google.com> | 2016-07-29 11:56:08 -0700 |
---|---|---|
committer | Jason Gross <jagro@google.com> | 2016-07-29 11:56:08 -0700 |
commit | 8cdbaf69e02f5784b392adb99abc89d2be663ad2 (patch) | |
tree | 36b06933c23138defe0b7af5ded488a56aa5b838 /src/ModularArithmetic/Pre.v | |
parent | f4e85257de36e77fa45f1e60e4cfea8b3378f4f8 (diff) |
Add a lemma about hprop and eq
Diffstat (limited to 'src/ModularArithmetic/Pre.v')
0 files changed, 0 insertions, 0 deletions