Proofgold Term Root Disambiguation

∀ x0 x1 . x0 = x1 ⟶ x1 = x0

as obj
-

as prop
15e97..^eq_sym_i

theory
HF

stx
0d78c..

address
TMMgM..^eq_sym_i