DavidB4-bot
→top: clean up & uniformity
02:32
-6
Foxtrot
moving to MoS cat
23:16
remove supercat
23:15
-24
fixed cat
20:20
fixed link
11:22
+15
axiom of ZFC
11:19
+656