Diff — Triangle inequality

Revision #1809 → #2323 · back to history