Theorem dist_vadd_right

Modification history