law and_eq_r

lawful-arrays@0.1.0.0 · proof_shape.bend:81

import Base

81law and_eq_r:
82  for -b: Bool
83  for -a: Bool
84  for -c: Bool
85  for e: {a == c : Bool}
86  {Bool.and(b, a) == Bool.and(b, c) : Bool}