diff options
| author | David A. Madore <david+git@madore.org> | 2016-03-09 18:26:33 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2016-03-09 18:26:33 +0100 |
| commit | dbb423648ea7dde71b82f3a9245a54a23ce3369f (patch) | |
| tree | a6f5f9cca32c0c43489c8106c4e76bf81e991548 /vc | |
| parent | ac917f5ec32b5401db42e185f4eb59e8d3b1766e (diff) | |
| download | mitro206-dbb423648ea7dde71b82f3a9245a54a23ce3369f.tar.gz mitro206-dbb423648ea7dde71b82f3a9245a54a23ce3369f.tar.bz2 mitro206-dbb423648ea7dde71b82f3a9245a54a23ce3369f.zip | |
Well-founded induction, von Neumann ordinals.
Diffstat (limited to 'vc')
0 files changed, 0 insertions, 0 deletions