Theorem edist_triangle4

Modification history