Maintenance script
rollbackEdits.php mass rollback
19:05
-2316
141.98.9.47
Нет описания правки
09:25
+2316
194.85.161.2
→Вывод утверждений из аксиом
03:15
+38
03:13
+48
Андрей Шулаев
01:02
+965
Proshev
20:01
+67
08:32
+816
08:29
+1969
192.168.0.2
Новая страница: «== Вывод утверждений из аксиом == Докажем, что <tex>a\&b \rightarrow b\&a</tex>. По теореме о дедукции, если...»
07:07
+714
