proving that an interval I = [a,b] has length |b-a|

Printable View