kdrag.theories.logic.axioms.eqsym

kdrag.theories.logic.axioms.eqsym(eq: Proof) → Proof

Prove symmetry of equality

>>> x, y = smt.Ints("x y")
>>> eq = kd.axiom(x == y)
>>> eqsym(eq)
|= y == x