law Word.add_comm.arm

Base · base.bend:1379

1379law Word.add_comm.arm:
1380  for p  : Nat
1381  for at : Word(p)
1382  for bt : Word(p)
1383  for k  : Bool
1384  for -h : Bool
1385  {WCon{h, Word.adc(p, at, bt, False{}, k)}
1386    == WCon{h, Word.adc(p, bt, at, False{}, k)} : Word.Con<p>}