User contributions
- 00:32, 22 December 2012 (diff | hist) . . (+5) . . Normal subgroup
- 00:29, 22 December 2012 (diff | hist) . . (+271) . . m Normal subgroup
- 00:19, 22 December 2012 (diff | hist) . . (+7) . . m Metric space (→Popular metrics) (current)
- 00:19, 22 December 2012 (diff | hist) . . (+146) . . Metric space (→Popular metrics)