def internal_bool_and_comm

bend-mathlib@0.8.1.0 · algebra.bend:109

import Base
import bend-mathlib@0.8.1.0/bool.bend as MBool

109def internal_bool_and_comm(x: Bool, y: Bool) -> {Bool.and(x, y) == Bool.and(y, x) : Bool}:
110  MBool.and_comm(x, y)