~/jendhub

def bool_and_comm

qasim-bend-kit@0.1.0.2 · proof/AES_MaskedXorProof.bend:88

import qasim-bend-kit@0.1.0.2/proof/AES_MaskedXorProof.bend as AESMaskedXorProof
import Base

88def bool_and_comm(+a: Bool, +b: Bool) -> {Bool.and(a, b) == Bool.and(b, a) : Bool}:
89    match a b:
90        case False{} False{}: {==}
91        case False{} True{}: {==}
92        case True{} False{}: {==}
93        case True{} True{}: {==}

Uses (2)

Used by (1)