law sub_add

bend-lawful-stdlib@0.1.0.0 · src/v2.bend:23

import Base

23law sub_add:
24  for a: V2
25  for b: V2
26  {a == sub(add(a, b), b) : V2}