law and_true

bend-mathlib@0.8.1.0 · bool.bend:78

import Base

78# True is a right identity for and: a and true is a.
79law and_true:
80  for a: Bool
81  {Bool.and(a, True{}) == a : Bool}