Theorem vadd_vsub_eq_sub_vsub

Modification history