Theorem dist_vadd_left

Modification history