law and_true_sym

bend-mathlib@0.8.1.0 · bool.bend:582

import Base

582# True is a right identity for and: a and true is a, reversed to rewrite toward the simple side.
583law and_true_sym:
584  for a: Bool
585  {a == Bool.and(a, True{}) : Bool}