Theorem vsub_vadd_eq_vsub_sub

Modification history