Theorem vadd_eq_vadd_iff_sub_eq_vsub

Modification history