diff options
| author | David A. Madore <david+git@madore.org> | 2020-03-22 22:43:30 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2020-03-22 22:43:30 +0100 |
| commit | ba6a50cbc4f044ff9fb72697457cf487ff93bed3 (patch) | |
| tree | 55afcb915d019be4d13fecbbd9da54623b917006 /misc | |
| parent | f5c89beaffe5b558b6bc2a6e534f3f01bc4252c2 (diff) | |
| download | mitro206-ba6a50cbc4f044ff9fb72697457cf487ff93bed3.tar.gz mitro206-ba6a50cbc4f044ff9fb72697457cf487ff93bed3.tar.bz2 mitro206-ba6a50cbc4f044ff9fb72697457cf487ff93bed3.zip | |
Fix slight mistake in proof of well-founded ⇒ acyclic.
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions