~/jendhub

def un.band_comm

bend-osdev-u32@0.1.0.0 · PROOF.bend:1853

import bend-osdev-u32@0.1.0.0/PROOF.bend as PROOF
import Base

1853def un.band_comm(x: Bool, y: Bool) -> {Bool.and(x, y) == Bool.and(y, x) : Bool}:
1854  match x y:
1855    case True{} True{}:
1856      {==}
1857    case True{} False{}:
1858      {==}
1859    case False{} True{}:
1860      {==}
1861    case False{} False{}:
1862      {==}

Uses (2)

Used by (1)