law bool_or_right_comm

bend-mathlib@0.8.1.0 · algebra.bend:213

import Base

213# Bool or is right-commutative.
214law bool_or_right_comm:
215  for +a: Bool
216  for +b: Bool
217  for +c: Bool
218  {Bool.or(Bool.or(a, b), c) == Bool.or(Bool.or(a, c), b) : Bool}