diff options
author | David A. Madore <david+git@madore.org> | 2021-03-22 16:33:07 +0100 |
---|---|---|
committer | David A. Madore <david+git@madore.org> | 2021-03-22 16:33:07 +0100 |
commit | 59c8b05db106291439a532cb2b81d62cc3dd4b15 (patch) | |
tree | bc490df960a26e5c258e1625bf829b2b25171c1e /vc | |
parent | 98296d7e4da481cb7825107de34a49919e1ba784 (diff) | |
download | mitro206-59c8b05db106291439a532cb2b81d62cc3dd4b15.tar.gz mitro206-59c8b05db106291439a532cb2b81d62cc3dd4b15.tar.bz2 mitro206-59c8b05db106291439a532cb2b81d62cc3dd4b15.zip |
Don't refer to the von Neumann definition of ordinals.
Diffstat (limited to 'vc')
0 files changed, 0 insertions, 0 deletions