law wor_comm

lawful-words@0.1.0.0 · proof_bytes.bend:1382

import Base

1382law wor_comm:
1383  for +n: Nat
1384  for +a: Word(n)
1385  for +b: Word(n)
1386  {Word.or(n, a, b) == Word.or(n, b, a) : Word(n)}