law bor_dist

lawful-words@0.1.0.0 · proof_bytes.bend:302

import Base

302law bor_dist:
303  for +l: Bool
304  for +x: Bool
305  for +y: Bool
306  {Bool.and(l, Bool.or(x, y)) == Bool.or(Bool.and(l, x), Bool.and(l, y)) : Bool}