law and_eq_l

lawful-arrays@0.1.0.0 · proof_shape.bend:70

import Base

70law and_eq_l:
71  for -a: Bool
72  for -c: Bool
73  for -b: Bool
74  for e: {a == c : Bool}
75  {Bool.and(a, b) == Bool.and(c, b) : Bool}