diff options
| author | David A. Madore <david+git@madore.org> | 2016-01-30 17:39:35 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2016-01-30 17:39:35 +0100 |
| commit | 2985de4836242f9706d4da27eaf56f7a5bc93914 (patch) | |
| tree | d29c2520843fdf38478f8dd9f0436631ed228d7a /vc | |
| parent | a4b0ffd4d2945c708b0078e75c4d6bc71b93e6f7 (diff) | |
| download | mitro206-2985de4836242f9706d4da27eaf56f7a5bc93914.tar.gz mitro206-2985de4836242f9706d4da27eaf56f7a5bc93914.tar.bz2 mitro206-2985de4836242f9706d4da27eaf56f7a5bc93914.zip | |
Second proof (using ordinals) of the lemma.
Diffstat (limited to 'vc')
0 files changed, 0 insertions, 0 deletions