История
4 сентября 2022
1 сентября 2022
9 июня 2016
Нет описания правки
м-4
Нет описания правки
-19
точки
м+15
Нет описания правки
м-6
Нет описания правки
м+19
Нет описания правки
мНет описания правки
м-1
Нет описания правки
м+11
Нет описания правки
м+11
Нет описания правки
+44
Нет описания правки
м+23
Нет описания правки
+988
Нет описания правки
+1328
Нет описания правки
м-1047
8 июня 2016
Нет описания правки
м+14
Нет описания правки
-22
Нет описания правки
м-1388
Нет описания правки
-1051
Нет описания правки
+638
6 июня 2016
Нет описания правки
м+11
Переменные в tex
м+11
Нет описания правки
м+51
примеры в отдельный абзац
м+19
Удалены лишние пункты
-115
2 июня 2016
17 июня 2012
16 июня 2012
1 июня 2012
→Лемма: fixup
-6
Another naming fixup.
+17
Fixing bugs in definition. Some irrelevant renaming.
+51
→Лемма: fixup
+19