diff options
author | jadep <jadep@mit.edu> | 2019-03-12 14:39:46 -0400 |
---|---|---|
committer | jadephilipoom <jade.philipoom@gmail.com> | 2019-03-25 06:13:45 -0400 |
commit | d71fe6f9e283ba7b297da63fa5240c9117acd570 (patch) | |
tree | fff40d9a6be3b6fad442133f127e9e53e721388b /src/Util/ZUtil/Tactics/DivModToQuotRem.v | |
parent | b1bdefa45c0fa9786a8f916981a67ac5a4961eb0 (diff) |
fix up a messy proof
Diffstat (limited to 'src/Util/ZUtil/Tactics/DivModToQuotRem.v')
0 files changed, 0 insertions, 0 deletions