law bit_zero

lawful-words@0.1.0.0 · proof_bytes.bend:121

import Base
import lawful-words@0.1.0.0/defs.bend as D

121law bit_zero:
122  for +k: Nat
123  {D.bit(0, k) == False{} : Bool}