And it's as a result of this that length([a, b)) + length([b, c)) == length([a, ...

		green-in-gold on Nov 22, 2022 \| parent \| context \| favorite \| on: Always use [closed, open) intervals And it's as a result of this that length([a, b)) + length([b, c)) == length([a, c))