Theorem dist_triangle4_right

Modification history