Theorem dist_vadd_cancel_left

Modification history