Theorem neg_vsub_eq_vsub_rev

Modification history