law and_self_sym

bend-mathlib@0.8.1.0 · bool.bend:664

import Base

664# And with itself: a and a is a, reversed to rewrite toward the simple side.
665law and_self_sym:
666  for a: Bool
667  {a == Bool.and(a, a) : Bool}