law bor_low

lawful-words@0.1.0.0 · proof_bytes.bend:361

import Base

361law bor_low:
362  for +l: Bool
363  for +x: Bool
364  for +g: Bool
365  for +y: Bool
366  for imp: {l == True{} : Bool} -> {g == False{} : Bool}
367  {Bool.and(l, Bool.or(x, Bool.and(g, y))) == Bool.and(l, x) : Bool}