Texvc2LaTeXBot
Zastępowanie przestarzałej składni LaTeX zgodnie z mw:Extension:Math/Roadmap
20:56
+2
Wipur
Usunięto kategorię "Aksjomaty Zermela-Fraenkela"; Dodano kategorię "Aksjomaty Zermela-Fraenkla" za pomocą HotCat plus poprawki
00:11
−44
Sinousty
odmiana nazwiska
00:34
77.223.244.155
Bardziej czytelny wzór, brak odstępów między symbolami utrudnia czytanie, a co za tym idzie i zrozumienie tekstu.
17:50
+7
Addbot
Bot: Przenoszę 11 linków interwiki do Wikidata, znajdziesz je teraz w zasobie d:q1361825
15:05
−371
MerlIwBot
Robot dodał he:אקסיומת ההחלפה i poprawił de:Zermelo-Fraenkel-Mengenlehre#Die Axiome von ZF und ZFC→de:Ersetzungsaxiom
02:46
−4
Luckas-bot
r2.7.1) (Robot dodał es:Esquema axiomático de reemplazo
21:51
+40
Januszkaja
kursywy i spacje
00:03
+5
JAnDbot
robot poprawia: cs:Schéma nahrazení
10:35
−57
robot dodaje: cs:Zermelova-Fraenkelova teorie množin#Sch.C3.A9ma_axiom.C5.AF_nahrazen.C3.AD
15:06
+83
H. Kozera
int.
21:28
Matman z Lublina
różne redakcyjne
12:04
+1
MastiBot
robot dodaje: de:Zermelo-Fraenkel-Mengenlehre#Die Axiome von ZF und ZFC
21:44
+62
M gol
zbędne przecinki, drobne redakcyjne
00:06
−6
Urzyfka
poprawa linków
13:28
TXiKiBoT
robot dodaje: ru:Схема преобразования
19:56
+47
ArthurBot
robot dodaje: pt:Axioma da substituição
01:00
+32
Thijs!bot
robot dodaje: sv:Substitutionsaxiomet
16:26
+28
Alessia
int., ort., lit.
14:18
+9
Konradek
brak opisu edycji
03:09
+14
03:07
+11
Yenidai
lit.
23:38
Platonicus
nawias ujednoznaczniający formułę
20:15
Filemon
link fix, drób
22:10
Tsca.bot
bot dodaje: fr:Schéma d'axiomes de remplacement, zh:替代公理
20:28
+61
Turkusowy smok
11:02
+4
Jozef-k
15:38
83.31.250.85
dwukropek zamiast nawiasow :)
18:25
−1
Kocic
zastapienie dwukropka nawiasami dla jasnosci zapisu
22:32
Alef
italics. D,C -> x,y
10:02
+208
Dodanie zdania: "Słabszą wersją '''aksjomatu zastępowania''' jest aksjomat wycinania."
12:28
+78
YurikBot
robot dodaje: it:Schema di assiomi di rimpiazzamento
12:50
+43
Esoth
21:32
+284
20:32
+1935