diff options
| author | David A. Madore <david+git@madore.org> | 2016-01-30 17:28:38 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2016-01-30 17:28:38 +0100 |
| commit | a4b0ffd4d2945c708b0078e75c4d6bc71b93e6f7 (patch) | |
| tree | d7245a0ce1889ec3293fe4d5465375f69e5b1fc0 /vc | |
| parent | ae52bfa212546e28747b2f2e0e2f6d977278005b (diff) | |
| download | mitro206-a4b0ffd4d2945c708b0078e75c4d6bc71b93e6f7.tar.gz mitro206-a4b0ffd4d2945c708b0078e75c4d6bc71b93e6f7.tar.bz2 mitro206-a4b0ffd4d2945c708b0078e75c4d6bc71b93e6f7.zip | |
Complete/fix the proof of the non-well-founded induction theorem (and its key lemma).
Diffstat (limited to 'vc')
0 files changed, 0 insertions, 0 deletions