summaryrefslogtreecommitdiffstats
path: root/plan-mitro206.tex
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2020-03-22 22:43:30 +0100
committerDavid A. Madore <david+git@madore.org>2020-03-22 22:43:30 +0100
commitba6a50cbc4f044ff9fb72697457cf487ff93bed3 (patch)
tree55afcb915d019be4d13fecbbd9da54623b917006 /plan-mitro206.tex
parentf5c89beaffe5b558b6bc2a6e534f3f01bc4252c2 (diff)
downloadmitro206-ba6a50cbc4f044ff9fb72697457cf487ff93bed3.tar.gz
mitro206-ba6a50cbc4f044ff9fb72697457cf487ff93bed3.tar.bz2
mitro206-ba6a50cbc4f044ff9fb72697457cf487ff93bed3.zip
Fix slight mistake in proof of well-founded ⇒ acyclic.
Diffstat (limited to 'plan-mitro206.tex')
0 files changed, 0 insertions, 0 deletions