summaryrefslogtreecommitdiffstats
path: root/plan-mitro206.tex
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2016-01-30 18:01:12 +0100
committerDavid A. Madore <david+git@madore.org>2016-01-30 18:01:12 +0100
commitb7858bd1b5faab9edf00716321a8176981bb6c17 (patch)
tree012648258dccc7e0d0c85be0c0a57ba0aeea2a61 /plan-mitro206.tex
parent2985de4836242f9706d4da27eaf56f7a5bc93914 (diff)
downloadmitro206-b7858bd1b5faab9edf00716321a8176981bb6c17.tar.gz
mitro206-b7858bd1b5faab9edf00716321a8176981bb6c17.tar.bz2
mitro206-b7858bd1b5faab9edf00716321a8176981bb6c17.zip
Last statement of the non-well-founded induction theorem.
Diffstat (limited to 'plan-mitro206.tex')
0 files changed, 0 insertions, 0 deletions