Theorem edist_triangle_left

Modification history