law add_sub

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

import Base

35law add_sub:
36  for a: V2
37  for b: V2
38  {a == add(sub(a, b), b) : V2}