def and_comm

bend-collections-laws-math@1.0.0.0 · proofs/math/typed/f64tools.bend:212

import Base

212def and_comm(+a: Bool, +b: Bool) -> {Bool.and(a, b) == Bool.and(b, a) : Bool}:
213  match a b:
214    case True{} True{}:
215      {==}
216    case True{} False{}:
217      {==}
218    case False{} True{}:
219      {==}
220    case False{} False{}:
221      {==}