diff options
| author | David A. Madore <david+git@madore.org> | 2017-03-31 17:04:59 +0200 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2017-03-31 17:04:59 +0200 |
| commit | 943f4c81351fa2975951991db92112d268e96328 (patch) | |
| tree | 19c875f7202bd3b0aa1258cc47f5b48bb3c08d6f /plan-mitro206.tex | |
| parent | 549e3a809163635a3195629b69673a7c1c2c3699 (diff) | |
| download | mitro206-943f4c81351fa2975951991db92112d268e96328.tar.gz mitro206-943f4c81351fa2975951991db92112d268e96328.tar.bz2 mitro206-943f4c81351fa2975951991db92112d268e96328.zip | |
There is a transfinite induction hidden here. Make it explicit.
Diffstat (limited to 'plan-mitro206.tex')
0 files changed, 0 insertions, 0 deletions