law or3

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/blake/blake2s/bytes.bend:163

import Base

163law or3:
164  for +x: Bool
165  {Bool.or(Bool.or(Bool.or(x, False{}), False{}), False{}) == x : Bool}