Theorem vadd_vsub_vadd_cancel_right

Modification history