diff options
author | 2018-02-19 17:55:31 -0500 | |
---|---|---|
committer | 2018-02-19 17:59:16 -0500 | |
commit | 861a5245adb27d3beb7579d5fe38e344a6a17f07 (patch) | |
tree | fdcce87e84b98c57e9ffca1550809de40eeef324 /coqprime/Coqprime/Iterator.v | |
parent | 2e83283a7767f570ffdbd2951c62680a0f691d06 (diff) |
A bit more uniformity in handling the prime, implicits
Diffstat (limited to 'coqprime/Coqprime/Iterator.v')
0 files changed, 0 insertions, 0 deletions