diff options
| author | David A. Madore <david+git@madore.org> | 2013-02-07 17:15:47 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2013-02-07 17:15:47 +0100 |
| commit | 53ed97c1dc23de71d469acb596d68058df410b00 (patch) | |
| tree | d01f60d7ea0ef032c2a212adfb608ee3e628ae63 /vc | |
| parent | 4ed8f3b926ea09cb21ded12a2bd61686076d115f (diff) | |
| download | ordinal-zoo-53ed97c1dc23de71d469acb596d68058df410b00.tar.gz ordinal-zoo-53ed97c1dc23de71d469acb596d68058df410b00.tar.bz2 ordinal-zoo-53ed97c1dc23de71d469acb596d68058df410b00.zip | |
Note on pseudo-well-orderings.
Diffstat (limited to 'vc')
0 files changed, 0 insertions, 0 deletions