Theorem edist_le_range_sum_edist

Modification history