law pad_zero

stelliferous@0.0.2.0 · proofs/word_power_of_two.bend:266

import Base

266law pad_zero:
267  for +width: Nat
268  {Word.shr.pad(width,Word.zero(width)) == Word.zero(1n+width) : Word(1n+width)}