law zero_subtract_zero

stelliferous@0.0.2.0 · proofs/word_power_of_two.bend:91

import Base

91law zero_subtract_zero:
92  for +width: Nat
93  {Word.adc(width,Word.zero(width),Word.zero(width),True{},True{}) == Word.zero(width) : Word(width)}