summaryrefslogtreecommitdiffstats
path: root/vc
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2017-03-31 17:04:59 +0200
committerDavid A. Madore <david+git@madore.org>2017-03-31 17:04:59 +0200
commit943f4c81351fa2975951991db92112d268e96328 (patch)
tree19c875f7202bd3b0aa1258cc47f5b48bb3c08d6f /vc
parent549e3a809163635a3195629b69673a7c1c2c3699 (diff)
downloadmitro206-943f4c81351fa2975951991db92112d268e96328.tar.gz
mitro206-943f4c81351fa2975951991db92112d268e96328.tar.bz2
mitro206-943f4c81351fa2975951991db92112d268e96328.zip
There is a transfinite induction hidden here. Make it explicit.
Diffstat (limited to 'vc')
0 files changed, 0 insertions, 0 deletions