law and_self

bend-mathlib@0.8.1.0 · bool.bend:195

import Base

195# And with itself: a and a is a.
196law and_self:
197  for a: Bool
198  {Bool.and(a, a) == a : Bool}