Theorem edist_vsub_vsub_le

Modification history