law band_dist

lawful-words@0.1.0.0 · proof_bytes.bend:289

import Base

289law band_dist:
290  for +l: Bool
291  for +x: Bool
292  for +y: Bool
293  {Bool.and(l, Bool.and(x, y)) == Bool.and(Bool.and(l, x), Bool.and(l, y)) : Bool}