Theorem dist_vadd_vadd_le

Modification history