Gmelli
Text replacement - "> ↵" to "> "
02:41
−1
Text replacement - ". ---- " to ". ---- "
02:39
+1
Text replacement - "** ..." to "** …"
20:31
Text replacement - "]]. * <B>Counter-Example" to "]]. ** ... * <B>Counter-Example"
03:03
+7
no edit summary
23:00
+154
Text replacement - "<B><U>See</U>:</B>" to "<B>See:</B>"
18:34
−7
Text replacement - "<U>Example(s)</U>" to "Example(s)"
18:46
03:18
+332