История
4 сентября 2022
1 сентября 2022
31 августа 2020
Отмена правки 75000)
м+16
Remove surplus <br>
м-16
Trying to compact braced statements
мTrying to compact braced statements
мTrying to compact braced statements
м+37
Trying to compact braced statements
м+12
Trying to compact braced statements
м+2
Trying to compact braced statements
м+6
Trying to compact braced statements
м+1
Trying to compact braced statements
м-1
Trying to compact braced statements
м+28
Trying to compact braced statements
м+9
Trying to compact braced statements
м+18
Trying to compact braced statements
м-2
20 августа 2020
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