diff options
| author | David A. Madore <david+git@madore.org> | 2016-01-30 01:44:24 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2016-01-30 01:44:24 +0100 |
| commit | ae52bfa212546e28747b2f2e0e2f6d977278005b (patch) | |
| tree | 470db12dc225d1119ac2a31434589e645cf2fafb /vc | |
| parent | 559b315601706e53091bd6bed8ec9a75230e8b33 (diff) | |
| download | mitro206-ae52bfa212546e28747b2f2e0e2f6d977278005b.tar.gz mitro206-ae52bfa212546e28747b2f2e0e2f6d977278005b.tar.bz2 mitro206-ae52bfa212546e28747b2f2e0e2f6d977278005b.zip | |
Steps toward proving the non-well-founded-induction theorem by a fixed point argument.
Diffstat (limited to 'vc')
0 files changed, 0 insertions, 0 deletions