law bool_or_right_comm_sym

bend-mathlib@0.8.1.0 · algebra.bend:456

import Base

456# Bool or is right-commutative, reversed to rewrite toward the simple side.
457law bool_or_right_comm_sym:
458  for +a: Bool
459  for +b: Bool
460  for +c: Bool
461  {Bool.or(Bool.or(a, c), b) == Bool.or(Bool.or(a, b), c) : Bool}