diff options
| author | David A. Madore <david+git@madore.org> | 2016-01-30 18:01:12 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2016-01-30 18:01:12 +0100 |
| commit | b7858bd1b5faab9edf00716321a8176981bb6c17 (patch) | |
| tree | 012648258dccc7e0d0c85be0c0a57ba0aeea2a61 /vc | |
| parent | 2985de4836242f9706d4da27eaf56f7a5bc93914 (diff) | |
| download | mitro206-b7858bd1b5faab9edf00716321a8176981bb6c17.tar.gz mitro206-b7858bd1b5faab9edf00716321a8176981bb6c17.tar.bz2 mitro206-b7858bd1b5faab9edf00716321a8176981bb6c17.zip | |
Last statement of the non-well-founded induction theorem.
Diffstat (limited to 'vc')
0 files changed, 0 insertions, 0 deletions