История
4 сентября 2022
1 сентября 2022
2 июня 2020
18 апреля 2017
19 февраля 2014
27 января 2012
14 января 2012
→Больше формальности!
+86
→Больше формальности!: ололол
+820
→Больше формальности!: опечатки
м+2
→Больше формальности!
м-431
→Больше формальности!
-17
→Свойства сложения
+77
ололо
+417
→Коммутативность сложения
+614
+Заголовок
м+225
Нет описания правки
м+43
→Теории первого порядка: добавил лемму
+565
Нет описания правки
+67
