diff options
author | David A. Madore <david+git@madore.org> | 2016-03-31 17:36:27 +0200 |
---|---|---|
committer | David A. Madore <david+git@madore.org> | 2016-03-31 17:36:27 +0200 |
commit | 9133ce083ba8183bc67a9c32751a81e48e0c5d14 (patch) | |
tree | 08c83a26a8443c86e237a2a1f9728f1946acf7f2 /vc | |
parent | 2a3985128157eab35a1e04b9fff3ddc2b9d7f88d (diff) | |
download | accq205-9133ce083ba8183bc67a9c32751a81e48e0c5d14.tar.gz accq205-9133ce083ba8183bc67a9c32751a81e48e0c5d14.tar.bz2 accq205-9133ce083ba8183bc67a9c32751a81e48e0c5d14.zip |
Discrete valuation rings are principal, and whatnot.
Diffstat (limited to 'vc')
0 files changed, 0 insertions, 0 deletions