law word_not_sub

bend-osdev-u32@0.1.0.0 · LAWS.bend:579

import Base
import bend-osdev-u32@0.1.0.0/u32.bend as U

579law word_not_sub:
580  for +n: Nat
581  for +w: Word(n)
582  {Word.not(n, w) == Word.sub(n, U.U32Word.mask(n, n), w) : Word(n)}