История
25 июня 2020
Image formatting fixed
-1
Image formatting fixed
+21
Image formatting fixed
Image formatting fixed
-2
index fix
+4
index fix
-4
Sign fix
+6
24 июня 2020
12 июня 2020
3 июня 2020
30 мая 2020
29 мая 2020
28 мая 2020
Утверждения теоремы объединены в систему
м+37
The tale fixed
м-156
Нет описания правки
м-11
Minor changes
м-2
Minor changes
м+5
Утверждения теоремы объединены в систему
м-7
And & or corrected
м-56
And & or corrected
м+10
Выводы объединены в систему
м-5
27 мая 2020
small changes
м+2
Deleting unexpected empty lines
м-5
Medium-sized changes
+77
small changes
м+3
Deleting unexpected empty lines
м-6
Lemma-theorem cleanup
м+60
Cleanup
м-20
small changes
м+15
Theorem linkage
-229
small changes
м-5
small changes
м-50
→Теорема о гигантской компоненте
м-113
small changes
мsmall changes
м+2
small changes
м-545
26 мая 2020
small changes
м-35
small changes
м+30
small changes
м-350
small changes
м-180
small changes
м-207
small changes
м-12
small changes
м-75
small changes
м-22
small changes
м-519
small changes
м+151
small changes
м-29
small changes
м-25
check
+2218
