ChengsongTanPhdThesis/BetterWaterloo1.data
author Chengsong
Sun, 09 Jul 2023 02:08:12 +0100
changeset 658 273c176d9027
parent 588 80e1114d6421
permissions -rw-r--r--
finished 4.3.2 section explaining why lemma 11 is too strong

1 16
2 43
3 97
4 205
5 421
6 853
7 1717
8 3445
9 6901
10 13813
11 27637
12 55285
13 110581
14 221173
15 442357
16 884725
17 1769461
18 3538933
19 7077877