law or_comm_sym

bend-mathlib@0.8.1.0 · bool.bend:553

import Base

553# Boolean or is commutative, reversed to rewrite toward the simple side.
554law or_comm_sym:
555  for a: Bool
556  for b: Bool
557  {Bool.or(b, a) == Bool.or(a, b) : Bool}