No. Time User SHA256
-r2 (ms-0.1-r2) 2015-07-20T22:18:14Z RickyElrod 593f9f21bedc9ca72bbf7b8c884a84de26f2d1634ae6128da7b96dfbe43c28d2
• Changed description from

```A 'MetricSpace' is a set together with a notion of distance between
elements. Distance is computed by a function 'dist' which has the following
four laws:

(1) __non-negative__: @forall x y. 'dist' x y >= 0@

(2) __identity of indiscernibles__: @forall x y. 'dist' x y == 0 \<=\> x == y@

(3) __symmetry__: @forall x y. dist x y == 'dist' y x@

(4) __triangle inequality__: @forall x y z. 'dist' x z <= 'dist' x y + 'dist' y z@

See the Wikipedia <https://en.wikipedia.org/wiki/Metric_space article on
metric spaces> for more details.```
to
```A 'MetricSpace' is a set together with a notion of distance between
elements. Distance is computed by a function 'dist' which has the following
four laws:

(1) __non-negative__: @forall x y. 'dist' x y >= 0@

(2) __identity of indiscernibles__: @forall x y. 'dist' x y == 0 \<=\> x == y@

(3) __symmetry__: @forall x y. dist x y == 'dist' y x@

(4) __triangle inequality__: @forall x y z. 'dist' x z <= 'dist' x y + 'dist' y z@

See the Wikipedia <https://en.wikipedia.org/wiki/Metric_space article on metric spaces>
for more details.```

-r1 (ms-0.1-r1) 2015-07-20T22:14:23Z RickyElrod 2b9b672dcdeff79259b08cee15ee939203831c4fd7f08a77a000998bb7b84938
• Changed description from

```A 'MetricSpace' is a set together with a notion of distance between
elements. Distance is computed by a function 'dist' which has the following
four laws:

(1) __non-negative__: @forall x y. 'dist' x y >= 0@
(2) __identity of indiscernibles__: @forall x y. 'dist' x y == 0 \<=\> x == y@
(3) __symmetry__: @forall x y. dist x y == 'dist' y x@
(4) __triangle inequality__: @forall x y z. 'dist' x z <= 'dist' x y + 'dist' y z@

See the Wikipedia <https://en.wikipedia.org/wiki/Metric_space article on
metric spaces> for more details.```
to
```A 'MetricSpace' is a set together with a notion of distance between
elements. Distance is computed by a function 'dist' which has the following
four laws:

(1) __non-negative__: @forall x y. 'dist' x y >= 0@

(2) __identity of indiscernibles__: @forall x y. 'dist' x y == 0 \<=\> x == y@

(3) __symmetry__: @forall x y. dist x y == 'dist' y x@

(4) __triangle inequality__: @forall x y z. 'dist' x z <= 'dist' x y + 'dist' y z@

See the Wikipedia <https://en.wikipedia.org/wiki/Metric_space article on
metric spaces> for more details.```

-r0 (ms-0.1-r0) 2015-07-20T22:13:19Z RickyElrod 64687b6c42b5cfc0ae228a7485d6be786954a4ecd8ac8c5846c9821706e1667f