kdrag.kernel.eqsym

kdrag.kernel.eqsym(eq: Proof) → Proof

Prove symmetry of equality

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

Parameters:

eq (Proof)

Return type:

Proof