def sy

import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/poly1305/arith.bend as Arith

import Base

18def sy(+a: Nat, +b: Nat, +e: {a == b : Nat}) -> {b == a : Nat}:
19  Equal.sym(Nat, a, b, e)

Uses (2)