law bor_comm

lawful-words@0.1.0.0 · proof_bytes.bend:1366

import Base

1366law bor_comm:
1367  for +x: Bool
1368  for +y: Bool
1369  {Bool.or(x, y) == Bool.or(y, x) : Bool}