def h.sb

import bend-kit-collections@0.1.4.1/PROOF.bend as PROOF

import Base

1730def h.sb(-a: Bool, -b: Bool, e: {a == b : Bool}) -> {b == a : Bool}:
1731  Equal.sym(Bool, a, b, e)

Uses (2)