diff options
| author |  Jade Philipoom <jadep@mit.edu> | 2016-01-23 15:16:50 -0500 |
|---|---|---|
| committer | Jade Philipoom <jadep@mit.edu> | 2016-01-23 15:16:50 -0500 |
| commit | 9cd94e813572b183245b67d6c621af847601478d (patch) | |
| tree | aba4991e04937d1fdeabec87a8ce74c3c3d00334 /coqprime | |
| parent | 8b3728b68ea21e0cfedfc4eff7fa15830e84bdf1 (diff) | |
NumTheoryUtil : code cleanup; moved some lemmas to ZUtil.
Diffstat (limited to 'coqprime')
0 files changed, 0 insertions, 0 deletions