Theorem edist_triangle_right

Modification history